[isabelle] Installation vs. Download and installation
google knows why I used the following page for installation on cygwin:
I had problems. First the cygwin bundle link did not work, as it pointed to
a 2011 version:
I then found
After unpacking and starting isabelle jedit, it said
Unknown logic "HOL" -- no heap file found in:
Return code: 127
It seemed that polyml is not found by isabelle, as there is a directory
with 5.4.1 in the place of undefined and there is a HOL image as expected.
reinforced this. Where should polyml be in the bundle?
Later I realised that there is another installation page:
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and