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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
