[isabelle-dev] PG 3.x vs. 4.x settings

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Wed Dec 12 19:51:56 CET 2012

Am 12.12.2012 um 19:29 schrieb Makarius:

> Are there actually Isabelle / Proof General 4.2 users around?

I think Larry gave it a try.

> For the coming Isabelle release, I need some hint if there will be a version of Proof General shipped with it at all, and which version it should be.  If it is Proof General 3.x there is no point to work on workarounds for 4.x.  On the other hand, "fixing" things for 4.x might also break 3.x and I am testing none of that again.

Larry seemed to favor 4.2 (according to the principle that new software is better than old software), whereas my vote goes to 4.1. If Larry wants to go into the trouble of compiling and packing 4.2, I of course won't object.

If we agree that Isabelle/PG is nearing the end of its life, I wouldn't worry too much about things that never worked in it.


More information about the isabelle-dev mailing list