Universität Bremen  
  FB 3  
  Group BKB > Research > Formal Methods > Formal specification > Hets > Deutsch
English
 

Hets: libraries for Macintosh

 

Hets - libraries for Macintosh



Current Version (compiled after November 28, 2006)

Please download the GNUreadline.framework and the GMP.framework and install both either in /Library/Frameworks or $HOME/Library/Frameworks with
unzip GNUreadline-framework.zip -d $HOME/Library/Frameworks
unzip GMP-framework.zip -d $HOME/Library/Frameworks


Older Versions

 
   
Author: Klaus Lüttich
 
  Group BKB 
Last updated: May 18, 2007   impressum