[isabelle-dev] ProofGeneral-4.2

[Lawrence Paulson]

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 <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