From 882e58dde37d3cbabff76e35e66f69280e37eb1f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 22 Jun 2000 15:54:31 +0000
Subject: Extra note.

---
 isar/Example.thy | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isar/Example.thy')

diff --git a/isar/Example.thy b/isar/Example.thy
index 6abc15e1..22c0a4e1 100644
--- a/isar/Example.thy
+++ b/isar/Example.thy
@@ -6,6 +6,7 @@
 
       The first line forces Isabelle/Isar Proof General, otherwise
       you may get the theory mode of ordinary Isabelle Proof General
+      See the manual for other ways to select Isabelle/Isar PG.
 *)
 
 theory Example = Main:
-- 
cgit v1.2.3

