diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 11:13:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 11:13:53 +0000 |
| commit | f92d43b2abf0c0fed4da25e328e370c9f2faecf1 (patch) | |
| tree | de73d3e9f600b15fcb72cdb81e9919f7e4ff63e7 /isar/isar.el | |
| parent | 83e89cfe761a45ecfad0c78d22707190ea2befc5 (diff) | |
Default to isa-mode or isar-mode according to first one invoked.
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index b0275a5b..4fd72083 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -15,6 +15,14 @@ nil (proof-splash-display-image "isabelle_transparent" t))) +;; In case Isar mode was invoked directly or by -*- isar -*- at +;; the start of the file, ensure that Isar mode is used from now +;; on for .thy files. +;; FIXME: be less messy with auto-mode-alist here (remove dups) +(setq auto-mode-alist + (cons '("\\.thy$" . isar-mode) auto-mode-alist)) + + (require 'proof) (require 'isar-syntax) |