From 261bfe2ccf3158ff7eb49f59ed5876071d29dce0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:05:33 +0000
Subject: Move auto-mode-alist hack here now Isar is default.

---
 isa/thy-mode.el | 7 +++++++
 1 file changed, 7 insertions(+)

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
-- 
cgit v1.2.3