From 0622822a68e862aa04cfb170856bfecd045460f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 20:30:14 +0000
Subject: Updated link to LFCS.  Added link to demoisa-easy.el

---
 html/main.phtml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index 21409081..0bf9a7bb 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -13,7 +13,7 @@
 <b>Proof General</b> is a generic interface for proof assistants, 
 based on Emacs.<br>
 It has been developed at the
-<a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a>
+<a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>
 in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
 </p>
 <p>
@@ -95,10 +95,12 @@ including:
  </tr>
 </table>
 <p>
-We also supply instructions for how to customize Proof General to new
-proof assistants.  
+Proof General is ready to be customized to new proof assistants.
+It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el",
+"very easy"); ?> to get basic support working.
 <br>
-Experimental support for new proof assistants is
+Full documentation on configuration is provided,
+and experimental support for new proof assistants is
 made available in our developers release.
 </p>
 
-- 
cgit v1.2.3