[isabelle] Problems installing Isabelle
I am a student from the "Universidad Complutense de Madrid". I am
trying to install the program Isabelle in my Power PC (Mac OS X,
10.4.10) but I have some problems. I have managed to run Isabelle but
in the X11 window instead of the XEmacs window. At the bottom of the
X11 window appears the following message: "File `/usr/local/
ProofGeneral/generic/proof-autoloads.elc' was not compiled in Emacs".
I have already installed the XEmacs with the Fink application but it
seems not to run properly.
Do you know where the problem could be? I suppose you are really busy
but if you could give me a hint or help me in anyway I would be
If you are not the correct person to whom I should write but you know
someone that could help me, could you please tell me who?
Thank you very much in advance
Lidia Sánchez Gil
This archive was generated by a fusion of
Pipermail (Mailman edition) and