I compiled 4.2, no problem. I didn't notice any differences with 4.1.
Larry On 12 Dec 2012, at 18:51, Jasmin Christian Blanchette <[email protected]> wrote: > Am 12.12.2012 um 19:29 schrieb Makarius: > >> Are there actually Isabelle / Proof General 4.2 users around? > > I think Larry gave it a try. > >> For the coming Isabelle release, I need some hint if there will be a version >> of Proof General shipped with it at all, and which version it should be. If >> it is Proof General 3.x there is no point to work on workarounds for 4.x. >> On the other hand, "fixing" things for 4.x might also break 3.x and I am >> testing none of that again. > > 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. > > Jasmin > > _______________________________________________ > 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
