From 3cb94f15ad42bd6e54a63a97dd62aec8076240d8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 11 May 2000 14:19:28 +0000 Subject: Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility. --- generic/proof-site.el | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-site.el b/generic/proof-site.el index 36e3c5b9..03fb9ccf 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -210,7 +210,17 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; NB: Mode name for each prover is -mode! (proofgen-mode (intern (concat sname "-mode"))) ;; NB: Customization group for each prover is its l.c.'d name! - (cusgrp-rt (substitute ?\- ?\ (downcase assistant-name))) + (cusgrp-rt + ;; Normalized a bit to remove spaces and funny characters + ;; FIXME UGLY compatibility hack + ;; (can use cl macro `substitute' but want to avoid cl here) + (if (fboundp 'replace-in-string) + ;; XEmacs + (replace-in-string (downcase assistant-name) "/\\|[ \t]+" "-") + ;; FSF + (subst-char-in-string ?/ ?\- + (subst-char-in-string ?\ ?\- (downcase assistant-name))))) + ;; END compatibility hack (cusgrp (intern cusgrp-rt)) (cus-internals (intern (concat cusgrp-rt "-config"))) -- cgit v1.2.3