Re: [isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory



On Sun, 7 Feb 2016, C. Diekmann wrote:

I'm happy to tell that Collections builds again with RC4 on my 8GB RAM laptop. Is this just a coincidence or did you fine-tune something?

I did not change anything.

It was working all the time in all my tests during this discussion.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.