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

Lawrence Paulson lp15 at cam.ac.uk
Wed Dec 12 22:44:57 CET 2012

I compiled 4.2, no problem. 

I didn't notice any differences with 4.1.


On 12 Dec 2012, at 18:51, Jasmin Christian Blanchette <jasmin.blanchette at gmail.com> wrote:

> 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.
> Jasmin
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list