From f92d43b2abf0c0fed4da25e328e370c9f2faecf1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 11:13:53 +0000
Subject: Default to isa-mode or isar-mode according to first one invoked.

---
 isar/isar.el | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'isar')

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