[isabelle] Isabelle Installation problem



Dear all,

I have just finished installing Xemacs and Isabelle.
When starting, I get the following message from Xemacs :

File mode specification error : (file-error "Cannot open load file" "executable")

Can someone help me to resolve this ?

Thank you,

JF Molderez





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