Re: [isabelle] Vista Installation
anusha g wrote:
Guys i tried to unzip my files in C:\cygwin\usr\local.
What i got are 2 folders: Isabelle and Isabelle2009.
The folders are actually the same: Isabelle is just a symbolic link to
The INSTALL file is a plain text file which explains the installation.
Unzip the other .tar.gz-files, too. You will get folders for
ProofGeneral and polyml.
Then, from an xterm window run
/usr/local/Isabelle/bin/isabelle emacs -p xemacs
I need to finish up a college project on this
and i m stuck up with the installation itself..
Better start earlier next time.
Once you have managed the installation, refer to the Isabelle/HOL
tutorial for explanations on using the system.
This archive was generated by a fusion of
Pipermail (Mailman edition) and