From 90659a5779c1ddb472a19af0a8f1c9776e695d37 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 18:32:41 +0000
Subject: Add -*- isar -*- tag to force mode, and comment to explain.

---
 isar/Example.thy | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 0f23f5d4..f6500e6d 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -1,7 +1,11 @@
-(*
+(*  -*- isar -*-
+
     Example proof document for Isabelle/Isar Proof General.
  
     $Id$
+
+    The first line forces Isabelle/Isar Proof General, otherwise
+    you may get the theory mode of ordinary Isabelle Proof General
 *)
 
 
-- 
cgit v1.2.3