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.ML | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'isa/Example.ML')

diff --git a/isa/Example.ML b/isa/Example.ML
index 720e3a47..57733a48 100644
--- a/isa/Example.ML
+++ b/isa/Example.ML
@@ -1,7 +1,12 @@
-(*
+(*  -*- isa -*-
+
     Example proof script for Isabelle Proof General.
 
     $Id$
+
+    The line at the top of this comment forces 
+    Proof General's classic Isabelle mode
+    (instead of Isar: you can't use both at once).
 *)
 
 Goal "A & B --> B & A";
-- 
cgit v1.2.3