Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Installation problem

view this post on Zulip Email Gateway (Aug 18 2022 at 09:47):

From: Jean François Molderez <jfm@cetic.be>
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

Last updated: May 03 2024 at 08:18 UTC