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:

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. only refers to installation.html, not to download.html anymore.

  -- Lars

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