I'm not interested in patching anything unless we see a definite bug fix. Larry
On 14 Dec 2012, at 12:50, Makarius <[email protected]> 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
