diff options
| author | David Aspinall | 2002-06-24 09:05:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-24 09:05:33 +0000 |
| commit | 261bfe2ccf3158ff7eb49f59ed5876071d29dce0 (patch) | |
| tree | 28baa09db14cb77853f1461fcb9808a798ee9319 | |
| parent | bfe8677a166e443d0cf87337409859d1947a858e (diff) | |
Move auto-mode-alist hack here now Isar is default.
| -rw-r--r-- | isa/thy-mode.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 9121e3dd..98039e43 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -15,6 +15,13 @@ (require 'proof-syntax) (require 'isa) +;; In case thy mode was invoked directly or by -*- thy -*- 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$" . thy-mode) auto-mode-alist)) + ;;; ========== Theory File Mode User Options ========== (defcustom thy-heading-indent 0 |