Re: [isabelle] Isabelle 2007 destroys heaps



On Wed, 28 Nov 2007, Daniel Wasserrab wrote:

> When I open an Isabelle process, terminate it and try to start a new 
> one, Isabelle hangs up and doesn't respond any more.

What exactly do you mean by "terminate"?  Is this just an interrupt 
signal, or the stop button in Proof General?

> I'm not the only one with this behaviour, my colleague has exactly the 
> same problem. Does anyone know why this happens and how to fix it?

All this sounds very odd.  What is your platform (operating system, 
Poly/ML version, Emacs version)?


	Makarius






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