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

Makarius makarius at sketis.net
Fri Dec 14 13:50:44 CET 2012

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.


More information about the isabelle-dev mailing list