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

Lawrence Paulson lp15 at cam.ac.uk
Fri Dec 14 13:56:45 CET 2012

I'm not interested in patching anything unless we see a definite bug fix.

On 14 Dec 2012, at 12:50, Makarius <makarius at sketis.net> wrote:

> On Wed, 12 Dec 2012, Jasmin Christian Blanchette wrote:
>> 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.
> Concerning the settings default problem 4.1 and 4.2 are equivalent, so that would be a tendency for considering a "patch", but you seem to express a tendency againts that, which is also fine for me.
> 	Makarius
> _______________________________________________
> 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