Re: [isabelle] proof-compat file error
On Tue, 4 Apr 2006, Francisco Jose CHAVES ALONSO wrote:
> I am new on Isabelle. I install all the files of the site and I try to
> start with the command Isabelle, but I get the emacs error
> (file-error "Cannot open load file" "proof-compat")
> I am using Linux debian (sarge version) as operating system.
If you happen to have a .deb version of ProofGeneral installed, it might
be better to remove it first. Another common problem are XEmacs versions
from the 21.5 (beta) branch; try 21.4.x instead.
This archive was generated by a fusion of
Pipermail (Mailman edition) and