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.


	Makarius





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