[isabelle] proof-compat file error



Hello

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.

Thanks

Francisco
-- 
Francisco José Cháves (ENS-LIP) 
mailto: Francisco.Jose.Chaves.Alonso at ens-lyon.fr
http://perso.ens-lyon.fr/francisco.jose.chaves.alonso
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 84 36 






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