Mention Plastic and Isar and release number of Emacs.

1 files changed, 23 insertions, 5 deletions

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>