Re: [isabelle] Installation vs. Download and installation
On 11.01.2013 13:43, Gergely Buday wrote:
google knows why I used the following page for installation on cygwin:
This page is definitely obsolete. Johannes?
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and