Re: [isabelle] A few questions about Isabelle2013



On Sat, 12 Jan 2013, Gottfried Barrow wrote:

Isabelle 2012 started freezing up regularly several months ago, and it was freezing up very frequently today

Can you be more specific? Problems can be solved only when they are made known, and described according to minimal standards of empirical science. Otherwise it is just guesswork.

Guessing nonetheless, the ML system could crash in certain situations of running out of resources. See e.g. https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2012-September/msg00152.html how to use polyml-5.5.0 with Isabelle2012. It gives you much more headroom in typical "low" memory situations of 1-2 GB. On Windows it is always running in 32bit mode, so this is expecially relevant.


	Makarius





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