Am 21.06.2011 um 23:11 schrieb Clemens Ballarin:
After updating my Isabelle repository (which I haven't done for
quite a while) Poly/ML stopped to start up. I have 5.2 and
according to the release notes this is no longer supported. Do I
need to build 5.4 for myself or do we provide a pre-built version
for MacOS 10.5 somewhere? The Isabelle download page is
surprisingly silent about Poly/ML nowadays.
There might be a more official way of doing it, but what worked for me
on Mac and Linux was to install the full Isabelle2011 bundle and
cannibalize it, i.e. steal its interesting third-party components. For
example,
ln -s /Applications/Isabelle2011.app/Isabelle/contrib/polyml ~/polyml
will create a symlink that will be automatically picked up by the
repository version of Isabelle (if your repository is somewhere under
~).
Jasmin
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
