From 6dbb6eb4a16c22666dda24facf0ad467086920c3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 14 Sep 2002 10:16:34 +0000
Subject: Add comment

---
 demoisa/demoisa.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el
index 05c56994..750853df 100644
--- a/demoisa/demoisa.el
+++ b/demoisa/demoisa.el
@@ -10,6 +10,8 @@
 ;;
 ;; See README in this directory for an introduction.
 ;;
+;; NEW INSTANCES: please use demoisa-easy.el as a basis instead.
+;;
 ;; Basic configuration is controlled by one line in `proof-site.el'.
 ;; It has this line in proof-assistant-table:
 ;;
@@ -28,7 +30,6 @@
 ;; shell before starting Emacs  (or customize proof-assistants).
 ;;
 
-
 (require 'proof)			; load generic parts
 
 
-- 
cgit v1.2.3