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

[Lawrence Paulson]

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

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