From 72254c43ab83b185449077970c7cf42100c08581 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Apr 2003 16:07:03 +0000
Subject: Remove isa-mode from automode alist, to allow SML mode in preference

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

diff --git a/isar/isar.el b/isar/isar.el
index 08d6c9b9..92ad071b 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -605,4 +605,15 @@ proof-shell-retract-files-regexp."
 	     x-symbol-isabelle-font-lock-keywords)))
   (proof-goals-config-done))
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Remove isa-mode from auto-mode-alist, 
+;; to allow SML mode to work in preference to isa-mode.
+;;
+
+(setq auto-mode-alist
+      (delete-if 
+       (lambda (strmod) (memq (cdr strmod) '(isa-mode demoisa-mode)))
+       auto-mode-alist))
+
 (provide 'isar)
-- 
cgit v1.2.3