From 102dc3d60e7d83d1008e239d9030090b362cb508 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 18:08:18 +0000
Subject: Mention Plastic and Isar and release number of Emacs.

---
 html/main.phtml | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index 4f600174..9ff9d505 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -18,7 +18,11 @@ works best under
 <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with 
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
-It is supplied ready-customized for several proof assistants:
+You need a 20.X (or later) version in either case.
+</p>
+
+<p>
+Proof General is ready-customized for several proof assistants:
 </p>
 <p>
  <table width=90%>
@@ -64,11 +68,16 @@ It is supplied ready-customized for several proof assistants:
    <td><b> Isabelle Proof General </b> for
        <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
 		    "Isabelle", "The Isabelle Home Page"); ?>
-       version 98-1
-       <br>
+       version 99
+      <br>
        <div style="font-size: smaller">
        Crafted and maintained by 
       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
+      <br>
+      Support for
+      <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>
+      is provided by
+      <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
    </td>
  </tr>
-- 
cgit v1.2.3