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

[Makarius]

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