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.
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  and might be suitable for
unexperienced users (especially with respect to Cygwin).
This archive was generated by a fusion of
Pipermail (Mailman edition) and