diff options
Diffstat (limited to 'isa')
| -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 |