The current Isabelle/7b7baa283434 requires
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110620.tar.gz for
building jedit from the repository.
This is only relevant for people who want to experiment with cutting edge
versions -- e.g. seeing fancy bold face, sub, superscripts or even
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
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
On Tue, 21 Jun 2011, Jasmin Blanchette wrote:
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