Email Gateway (Aug 18 2022 at 12:31): Email Gateway (Aug 18 2022 at 12:31):From: "Dr. Brendan Patrick Mahony" <brendan.mahony@dsto.defence.gov.au>
I am also having a problem with PG on Mac, in this case getting x-
symbol to work.
I have fink xemacs 21.4 and PG works but will not enable x-symbols,
claiming it is not installed.
IMPORTANT: This email remains the property of the Australian Defence Organisation and is subject to the jurisdiction of section 70 of the CRIMES ACT 1914. If you have received this email in error, you are requested to contact the sender and delete the email.
Email Gateway (Aug 18 2022 at 12:31):From: Christian Urban <curban@cs.princeton.edu>
I think this is because fink only installs a version
of xemacs that does not contain mule. As far as I am
aware, there is no way to get via fink a version of
xemacs that includes mule (except recompiling xemacs
by hand, perhaps).
The Isabelle installation web-page says that the xemacs
that comes with macport is the recommended method for
installation under MacOSX. Maybe this should be put
in a bit stronger words.
Hope this helps,
Christian
Email Gateway (Aug 18 2022 at 12:32):From: Ruben Henner Zilibowitz <rzilibowitz@yahoo.com.au>
Hi,
I recently upgraded my Isabelle installation to the latest (2008). I
am running it on Mac OS 10.5. For some reason however running isabelle-
interface no longer runs xemacs but instead runs emacs in my terminal
window. I'm not sure how to change this. If anyone could tell me that
would be nice.
Regards,
Ruben
Email Gateway (Aug 18 2022 at 12:33):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Ruben,
you can change the default emacs by tweaking the etc/settings file in
your Isabelle Distribution, e.g.:
PROOFGENERAL_OPTIONS="-p xemacs"
Note that ProofGeneral is very selective in emacs versions it works
properly with. Usually the default settings are quite ok. But I
personally am not a Mac user and cannot tell you anything particular
about which emacs version works best on Mac. Anyway
http://isabelle.in.tum.de/installation.html recommends XEmacs 21.4. for
MacOS.
Hope this helps
Florian
florian_haftmann.vcf
signature.asc
Last updated: May 03 2024 at 01:09 UTC