[isabelle-dev] Isabelle_11-Jan-2013

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Jan 15 17:45:19 CET 2013

Hi Makarius,

> 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 mailing list