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.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and