From 106599933a20433fa8adc213e0b05c4179fccd5f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 17:33:06 +0000
Subject: Link to demoisa-easy.el

---
 html/features.phtml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'html/features.phtml')

diff --git a/html/features.phtml b/html/features.phtml
index 0b3fee7d..f4fca86e 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -153,7 +153,14 @@ If not, read on…
   the prover, and setting other variables with commands to send to the
   prover.  To get the most from Proof General (proof by pointing, for
   example), it may be necessary to augment the output routines of the
-  proof assistant.
+  proof assistant.  
+  </p>
+  <p>
+  New!  With Proof General 3.0, adapting to a new prover is easier
+  than ever before!
+  <a href="ProofGeneral/demoisa/demoisa-easy.el">Here</a>
+  is an example instance of Proof General for Isabelle, which 
+  configures the main core of the interface.
   </p>
   Please feel free to download Proof General to customize it for a new
   system, and 
-- 
cgit v1.2.3