Re: [isabelle] Prover Process terminated!?



On Fri, 12 Dec 2014, Peter Lammich wrote:

Isabelle/jEdit showed me this message right after I started to load some
theory files.

Any idea what happened here?

See also this thread from last summer: https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2014-August/msg00243.html

The situation did not change since then, although I've tried to pin down the problem a few more times. Maybe we just need to move on towards x86_64 with more memory by default.


	Makarius

----------------------------------------------------------------------------
                 http://stop-ttip.org  1,152,126 people so far
----------------------------------------------------------------------------




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