Email Gateway (Aug 18 2022 at 12:30): Email Gateway (Aug 18 2022 at 12:30):From: Makarius <makarius@sketis.net>
Which version of Emacs is this? Which platform?
Makarius
Email Gateway (Aug 18 2022 at 12:32):From: Makarius <makarius@sketis.net>
Even though that version of Emacs is a bit old, the COMPATIBILITY file of
Proof General 3.7.1 says "tested; poorer X-Symbol sub/superscript
support". So it should work in principle.
Grepping through then elisp sources reveals the following line in
proof-toolbar.el:
(add-to-list 'image-load-path proof-images-directory) ; rude?
So you can try what happens without that.
Since GNU Emacs 21 is not so nice for Proof General anyway, you can also
try to compile XEmacs 21.4.x yourself. The main sources are available
here:
http://www.xemacs.org/Releases/index.html#Stable
You need to configure with MULE support. Moreover the SUMO tarballs both
for non-MULE and MULE are required, see
http://www.xemacs.org/Documentation/packageGuide.html#The_Sumo_Tarball
Yet another way to get a working Emacs for Proof General is to upgrade to
a more recent version of Ubuntu and use the GNU Emacs 23 that is included.
(The XEmacs package of Ubuntu is usually broken, due to its Debian
heritage.)
Makarius
Last updated: May 03 2024 at 12:27 UTC