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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
