Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Tue Jan 15 17:45:19 CET 2013
> http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Jan-2013/ is an early snapshot for the coming release. It is mainly a test of Isabelle packaging technology (not web technology). Components are taken from the Admin/components/ space within the repository.
It's nice to have Aquamacs back for Proof General. However, it greets me
Unknown logic "HOL" -- no heap file found in:
Is this a bug or a feature? I understand jEdit now has this convenience built-in.
Apart from this, the main tools I feel responsible for seemed to work fine. I only tested them on Mac this time around (because of paper deadlines).
More information about the isabelle-dev