From ca521fd2d4b6162744ecfb0729d8dbbcd395b420 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Mar 2000 08:34:41 +0000
Subject: Exp support is in ordinary release, Plastic is special case.

---
 html/main.phtml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index 79e46e4f..e6d9f997 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -92,8 +92,6 @@ It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el",
 "very easy"); ?> to get basic support working.
 <br>
 Full documentation on configuration is provided.
-Experimental support for new proof assistants is
-made available in our developers release.
 </p>
 
 <p>
-- 
cgit v1.2.3