Email Gateway (Aug 18 2022 at 14:09): Email Gateway (Aug 18 2022 at 14:09):From: anusha g <scarlettohara86@gmail.com>
Hey guys and gals,
I am new to this using of isabelle. I am currently doing my masters in
artificial intelligence. I m using windows vista and have problems
installing isabella.
First i downloaded and installed cygwin.The problem is with execution of
this:
$ tar -C /usr/local -xzf
Isabelle2009.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2009.tar.gz>
$ tar -C /usr/local -xzf
ProofGeneral.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/ProofGeneral.tar.gz>
$ tar -C /usr/local -xzf
polyml_x86-cygwin.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/polyml_x86-cygwin.tar.gz>
$ tar -C /usr/local -xzf
HOL_x86-cygwin.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/HOL_x86-cygwin.tar.gz>
I have downloaded this file and my path is C:/cygwin/usr/local/ (the 4 files
are here)
I get error message as Cannot open: No such file or directory.
Can you tell me how i can execute the above 4 lines?
I need to finish an assignment as earliest. So a quick reply will help me a
lot!
Thank you.
Regards,
Anusha
Email Gateway (Aug 18 2022 at 14:09):From: Makarius <makarius@sketis.net>
The instructions on the website with the hyperlinks should be read like
this: first download the tar.gz files, then run the tar command using the
resulting local file names, e.g.
tar -C /usr/local -xzf Isabelle2009.tar.gz
You are free to choose any existing and writable directory instead of
/usr/local above, even your home directory.
As long as you are inside the Cygwin command line you need not specify
DOS/Windows filenames such as C:/... although this should normally happen
to work as well.
Makarius
Email Gateway (Aug 18 2022 at 14:10):From: anusha g <scarlettohara86@gmail.com>
Guys i tried to unzip my files in C:\cygwin\usr\local.
What i got are 2 folders: Isabelle and Isabelle2009.
And both these folders have install file.However, they dont have any
extension which is why i am unable to install it..I am attaching a sample of
the install file that i got..I need to finish up a college project on this
and i m stuck up with the installation itself..Thanks a lot for your
replies. Hope you guys do help me work it out.
INSTALL
Email Gateway (Aug 18 2022 at 14:10):From: Alexander Krauss <krauss@in.tum.de>
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
Isabelle2009.
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.
Alex
Last updated: Apr 18 2024 at 16:19 UTC