Mention Plastic and Isar and release number of Emacs.

2 files changed, 35 insertions, 8 deletions

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>
diff --git a/html/news.phtml b/html/news.phtml
index 4c7192a2..b6468433 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -7,19 +7,37 @@
   The general is now more serious looking.
   Appropriate, because there are some serious improvements 
   in the pipeline...
-  </p>
-  <p>
   Before that, we will release Proof General 2.1,
-  largely a bug-fix improvement of 2.0.
+  mainly a bug-fix improvement of 2.0.
+  </p>
   <p>
-  Please explore the web pages and report any problems 
+  Please explore the new web pages and report any problems 
   or suggestions to <?php pg_email() ?>.
-  </p><p>
   Please also try out the latest pre-release of Proof General,
   this is the final chance to get fixes and tweaks
   sorted before 2.1.
   <div style="text-align: center; font-style: italic; font-family: lucidacalligrapy, \"brush script\", Technical, cursive"> - David.</div></p>
 </li>
+
+<li><b>11th May 1999</b><br>
+  <p>A new instantiation of Proof General has been added by
+  <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul Callaghan</a>
+  for 
+  <a href="http://www.dur.ac.uk/~dcs7ttg/plastic.html">Plastic</a>,
+  a new proof assistant based on
+  Luo's Typed Logical Framework and
+  implemented in Haskell. 
+  </p>
+</li>
+
+<li><b>16th April 1999</b><br>
+  <p>A new instantiation of Proof General has been added by
+  <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>
+  for <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>,
+  a new proof language for Isabelle to be included with Isabelle 99. 
+  </p>
+</li>
+
 </ul>