[isabelle] problem installing the necessary software for Isabelle2008


I followed the instructions from the website, but I get the following error when I try to run Isabelle from ProofGeneral, as "Isabelle -p emacs": 

File mode specification error: (void-variable image-load-path)

Thank you in advance for any help on this.

Andrei Popescu 


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