From 0ae5be8c23ee67ef941640f7628343c55ef45e45 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 16:11:52 +0000
Subject: Encourage use of demoisa-easy.el

---
 demoisa/demoisa-easy.el | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index cac8afae..2a7e87c5 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -10,6 +10,12 @@
 ;; proof-easy-config macro to do the work of declaring derived modes,
 ;; etc.  
 ;;
+;; This mechanism is in fact recommended for new instantiations of
+;; Proof General since it follows a regular pattern, and we can more
+;; easily adapt the it in the future to new versions of Proof General.
+;; It is easy to augment with additional elisp functions and
+;; other settings.
+;;
 ;; See demoisa.el and the Proof General manual for more documentation.
 ;;
 ;; To test this file you must rename it demoisa.el.
-- 
cgit v1.2.3