[isabelle-dev] Isabelle_11-Jan-2013

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:
  /Users/blanchet/.isabelle/Isabelle_11-Jan-2013/heaps/polyml-5.5.0_x86-darwin
  /Volumes/Isabelle_11-Jan-2013/Isabelle_11-Jan-2013.app/Contents/Resources/Isabelle_11-Jan-2013/heaps/polyml-5.5.0_x86-darwin

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).

Jasmin