Re: [isabelle] Isabelle 2007 destroys heaps
By terminate I mean exiting the ProofGeneral via "Exit Isabelle" (or
Ctrl-c Ctrl-x). Then starting a new Isabelle process in ProofGeneral
just states "Starting process: bla/bin/isabelle-process -PI -m PGASCII
HOL" and then hangs up.
We are running on Fedora 4, linux kernel 2.6.17-1.2142_FC4smp, poly-ml
5.1, ProofGeneral-3.7pre071112 (the versions to download for the new
Isabelle2007), XEmacs 21.4 (patch 19)
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