diff options
| author | David Aspinall | 2000-05-11 14:19:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:19:28 +0000 |
| commit | 3cb94f15ad42bd6e54a63a97dd62aec8076240d8 (patch) | |
| tree | e04fb6a85b8857e10a06a45cea84724573b79219 | |
| parent | 053c0eacf778b07c501ea7ff77d86a05cd72811e (diff) | |
Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.
| -rw-r--r-- | generic/proof-site.el | 12 |
1 files changed, 11 insertions, 1 deletions
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 <symbol name>-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"))) |