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

---
 isa/isa.el | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'isa/isa.el')

diff --git a/isa/isa.el b/isa/isa.el
index add4d814..bf7f682c 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -1,12 +1,18 @@
 ;; isa.el Major mode for Isabelle proof assistant
-;; Copyright (C) 1994-1998 LFCS Edinburgh. 
+;; Copyright (C) 1994-2000 LFCS Edinburgh, David Aspinall.
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
-
 ;;
 ;; $Id$
 ;;
+;; -----------------------------------------------------------------
+;;
+;; This file and the rest of Isabelle Proof General contain code taken
+;; from David Aspinall's Isamode system, a personal project undertaken
+;; 1994-1999 as a contribution to the Isabelle community.
+;;
+;; -----------------------------------------------------------------
 
 
 ;; Add Isabelle image onto splash screen
@@ -17,6 +23,13 @@
    nil
    (proof-splash-display-image "isabelle_transparent" t)))
 
+;; In case Isa mode was invoked directly or by -*- isa -*- at
+;; the start of the file, ensure that Isa mode is used from now
+;; on for .thy and .ML files.  
+;; FIXME: be less messy with auto-mode-alist here (remove dups)
+(setq auto-mode-alist 
+      (cons '("\\.ML$\\|\\.thy$" . isa-mode) auto-mode-alist))
+
 (require 'proof)
 (require 'isa-syntax)
 
-- 
cgit v1.2.3