From 0955c72541176ffec0d15565e497740894c4391e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 12:35:02 +0000
Subject: Consider proof-easy-config no-longer experimental.

---
 demoisa/demoisa-easy.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index 51f21a20..c08a0339 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -8,7 +8,7 @@
 ;;
 ;; This is an alternative version of demoisa.el which uses the
 ;; proof-easy-config macro to do the work of declaring derived modes,
-;; etc.  NB: proof-easy-config is currently experimental.
+;; etc.  
 ;;
 ;; See demoisa.el and the Proof General manual for more documentation.
 ;;
-- 
cgit v1.2.3