Re: [isabelle] How to Install Isabelle

Just for the records: The description pointed out below is an extended version of what is written at [1] and might be suitable for unexperienced users (especially with respect to Cygwin).

BTW, I can confirm that Isabelle/jEdit also runs on Windows 8 Consumer Preview.



Quoting Jens Doll <jd at>:

There is a new document on how to install Isabelle in a Windows environment:

The system now works on my machines, Win XP as well as Win 7.


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