[isabelle] How to Install Isabelle



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

http://cococo.de/Context_IT_GmbH/index.jsp?content=directory&lib=products/Sources/Isabelle/

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

Jens






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