I am glad to have PG (version 4.2) as an alternative for those occasions when I get persistent bus errors with my theories using Isabelle/jEdit. Larry
On 28 May 2013, at 16:41, Makarius <[email protected]> wrote: > See d3ee6315ca22, which is just a pro-forma update of the Isabelle component, > it is also made the default for bundling in the next release. (David Aspinall > actually suggested to stop the bundling altogether.) > > > Sorting out the old PG 4 settings problem on the Isabelle side recently, I > had to start PG several times, and I still do that in rare situations to try > something out. I can't say if it actually works in practice, if put under > stress. > > So this is just the normal catch-up with the official PG train, without any > special efforts that I did in the past. > > > 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
