Re: [isabelle] How to Install Isabelle



That's right, the new HowTo contains 5 rephrased lines from the Isabelle website. The original lines were too scarcly written to be fully useful for someone new in the field. In general you cannot presume that every user works on Linux, which is a network OS. Desktop OS's are Windows or iOS.
Jens

Am 27.03.2012 09:15, schrieb Sascha Boehme:
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).

...

[1] http://isabelle.in.tum.de/download.html





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