Re: [isabelle] Isabelle 2012 on Win7
On Sat, 4 Aug 2012, Jens Doll wrote:
I now have a CygWin installation with the Isabelle2012 directory copied
to it's root.
What do you mean by "the Isabelle2012 directory"? Only the sources?
On the official Isabelle website the front-page has a big green download
button for the fully integrated Isabelle bundle for your platform. If
that does not work (wrong guess of platform) then use one of the smaller
items "Download for Windows" etc.
The self-extracting installer should work out-of-the-box. It might be
something to get used to for someone who has seen older Isabelle
distributions. There is hardly anything left to do by hand.
There are some extra explanations
http://isabelle.in.tum.de/installation.html that are required in rare
situations, such as augmenting the bundled Cygwin by Latex.
This archive was generated by a fusion of
Pipermail (Mailman edition) and