Re: [isabelle] Installation vs. Download and installation



On 11.01.2013 13:43, Gergely Buday wrote:
Hi there,

google knows why I used the following page for installation on cygwin:

http://isabelle.in.tum.de/download.html

This page is definitely obsolete. Johannes?

http://isabelle.in.tum.de/installation.html

and this seems to be a fresher page, having a self-extracting .exe for
Windows. Is that the official page and the other just a leftover?

Yes. http://isabelle.in.tum.de only refers to installation.html, not to download.html anymore.

  -- Lars





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