diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:33:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:33:37 +0000 |
| commit | 539ae4d2e40c362a46c090032076c8ad77d7b0ea (patch) | |
| tree | 6e41028923f6c78f8de8148b2f0b0990de6b5416 /isa | |
| parent | 45115cfa66dcae503e6d726699d15cb5ccf8c9fa (diff) | |
Comments
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 3e834739..f9ebbe73 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -84,6 +84,7 @@ See `x-symbol-header-groups-alist'." ;; Bold, super- and subscripts ;;;=========================================================================== +;; DA: Apparently bold is no longer supported in X-Symbol 4.5 ;; \<^bold>, \<^sup>, and \<^sub>. (defvar x-symbol-isabelle-subscript-matcher @@ -178,12 +179,6 @@ See `x-symbol-language-access-alist' for details." (defvar x-symbol-isabelle-case-insensitive nil) (defvar x-symbol-isabelle-token-shape nil) (defvar x-symbol-isabelle-input-token-ignore nil) - -;; FIXME: next one not needed in X-Symbol 4, kept for back compat. -(defvar x-symbol-isabelle-exec-specs - '(nil ("\\`\\\\<[A-Za-z][A-Za-z0-9_']*>\\'" . - "\\\\<[A-Za-z][A-Za-z0-9_']*>"))) - (defvar x-symbol-isabelle-token-list 'identity) (defvar x-symbol-isabelle-symbol-table ; symbols (isabelle font) @@ -459,7 +454,7 @@ See `x-symbol-language-access-alist' for details." (defcustom x-symbol-isabelle-auto-style '((proof-ass x-symbol-enable) ; MODE-ON: whether to turn on interactively nil ;; x-symbol-coding - 'null ;; x-symbol-8bits [NEVER want it; null disables search] + 'null ;; x-symbol-8bits [NEVER want it; null disables search] nil ;; x-symbol-unique t ;; x-symbol-subscripts nil) ;; x-symbol-image |