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