diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-04-15 16:07:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-04-15 16:07:03 +0000 |
| commit | 72254c43ab83b185449077970c7cf42100c08581 (patch) | |
| tree | 130e8a56b0011fcbec3423753cd4914c01581c09 /isar | |
| parent | 8e5c126fa7a814415e1e506dac183e05a124521b (diff) | |
Remove isa-mode from automode alist, to allow SML mode in preference
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 08d6c9b9..92ad071b 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -605,4 +605,15 @@ proof-shell-retract-files-regexp." x-symbol-isabelle-font-lock-keywords))) (proof-goals-config-done)) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; +;; Remove isa-mode from auto-mode-alist, +;; to allow SML mode to work in preference to isa-mode. +;; + +(setq auto-mode-alist + (delete-if + (lambda (strmod) (memq (cdr strmod) '(isa-mode demoisa-mode))) + auto-mode-alist)) + (provide 'isar) |