diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 15:34:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 15:34:25 +0000 |
| commit | 4478e1c5c4d37f4127cdb9fe0701edb6de5b9f62 (patch) | |
| tree | e60786b6dbf2b2a6794bafb930921973b8cb6d36 /generic/proof-x-symbol.el | |
| parent | 35b6388b92d275eddff832e906a2122463230019 (diff) | |
Fix for automode list
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 15a44986..cb7020c6 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -98,7 +98,8 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) (or proof-mode-for-pbp (intern (concat assistant "-pbp-mode"))))) (all-xs-modes (append xs-std-modes xs-xtra-modes)) - (am-entry (list proof-xsym-extra-modes t xs-lang)) + (am-entry (list proof-xsym-extra-modes t + `(quote ,xs-lang))) (symmode-nm (concat assistant "sym-mode")) (symmode (intern symmode-nm)) (symnamevar (intern (concat xs-feature "-name"))) |