Re: [isabelle] How to Install Isabelle
Just for the records: The description pointed out below is an extended
version of what is written at  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
Quoting Jens Doll <jd at cococo.de>:
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