Changes for PG 2.1

1 files changed, 4 insertions, 5 deletions

diff --git a/html/main.phtml b/html/main.phtml
index 9bc22e5f..87b668b0 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -23,6 +23,8 @@ works best under
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
 You need a 20.X (or later) version in either case.
+For detailed version numbers, check the
+<?php link_root("download","download page.") ?> 
 </p>
 
 <p>
@@ -39,7 +41,6 @@ Proof General is ready-customized for several proof assistants:
      <b> Coq Proof General </b> for 
        <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html",
 		   "Coq","The Coq Home Page") ?>
-       version 6.2
        <br>
 	<div style="font-size: smaller">
          First crafted by 
@@ -58,7 +59,6 @@ Proof General is ready-customized for several proof assistants:
     <td><b>LEGO Proof General</b>
        <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
 		   "LEGO","The LEGO Home Page") ?>
-       version 1.3.1
        <br>
        <div style="font-size: smaller">
        First crafted by <a href="http://www.dcs.ed.ac.uk/~tms">Thomas Kleymann</a>
@@ -79,15 +79,14 @@ Proof General is 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>
        <div style="font-size: smaller">
        Crafted and maintained by 
       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
       <br>
-      Preliminary support for
+      Additional maintainance and support for
       <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>
-      in Isabelle 99 is provided by
+      is provided by
       <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
    </td>