From 72b2ab5a832f64c9bd93e6fb26c704029fa0c982 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:06:17 +0000
Subject: Add Emacs mode comments at top

---
 isa/Example.thy | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'isa/Example.thy')

diff --git a/isa/Example.thy b/isa/Example.thy
index 252a5a4c..c43d480f 100644
--- a/isa/Example.thy
+++ b/isa/Example.thy
@@ -1,10 +1,16 @@
-(*
+(*  -*- isa -*- 
+
     Example theory file for Isabelle
 
     David Aspinall <da@dcs.ed.ac.uk>
 
     $Id$
 
+    The line at the top of this comment forces 
+    Proof General's classic Isabelle mode;
+    scripting takes place in .ML files.
+
+    NB: this is incompatible with PG/Isar.
 *)
 
 Example = Main
-- 
cgit v1.2.3

