Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] proof-compat file error

view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: Makarius <makarius@sketis.net>
If you happen to have a .deb version of ProofGeneral installed, it might
be better to remove it first. Another common problem are XEmacs versions
from the 21.5 (beta) branch; try 21.4.x instead.

Makarius

view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: "Achim D. Brucker" <brucker@spamfence.net>
Makarius <makarius@sketis.net> schrieb:
or use the 'unoffcial' one from http://www.brucker.ch/projects/debian/
which should be recent enough (btw, Debian packages for Isabelle 2005
are also available from my site).

Achim

view this post on Zulip Email Gateway (Aug 17 2022 at 14:43):

From: Francisco Jose CHAVES ALONSO <Francisco.Jose.Chaves.Alonso@ens-lyon.fr>
Hello

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.

Thanks

Francisco

Last updated: May 03 2024 at 08:18 UTC