diff options
| author | David Aspinall | 1998-09-16 15:59:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 15:59:36 +0000 |
| commit | 851307601900e717e13cbd2b599f7f80a3824927 (patch) | |
| tree | 9ab060576d8102ca4f787a6db6243e53234c82c9 | |
| parent | bd63a1a2698e0359b2ed69710f5c12a9f3551e2a (diff) | |
Bug in regexp for isa auto-mode-alist.
| -rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 7e4560cf..64ee3b61 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -74,7 +74,7 @@ NB: To change proof assistant, you must start a new Emacs session." (fileregexp (cond ((eq proof-assistant 'coq) "\\.v") ((eq proof-assistant 'lego) "\\.l$") - ((eq proof-assistant 'isa) "\\.ML$|\\.thy$"))) + ((eq proof-assistant 'isa) "\\.ML$\\|\\.thy$"))) (assistant-name (symbol-name proof-assistant)) (proof-mode (intern (concat assistant-name "-mode")))) (setq auto-mode-alist |