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.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.