[isabelle] proof-compat file error


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.


Francisco José Cháves (ENS-LIP) 
mailto: Francisco.Jose.Chaves.Alonso at ens-lyon.fr
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.