[isabelle-dev] ProofGeneral-4.2

Lawrence Paulson lp15 at cam.ac.uk
Tue May 28 17:49:55 CEST 2013

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.

On 28 May 2013, at 16:41, Makarius <makarius at sketis.net> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list