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)

Makarius wrote:
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 MHonArc.