[isabelle-dev] PG 3.x vs. 4.x settings
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