From b242c730e662b6a74cb63fc462cface7faeb2157 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 22 Jul 1999 16:16:45 +0000
Subject: Downgraded Isabelle version to 98-1 again

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

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index c3f6c126..9bc22e5f 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -79,15 +79,15 @@ 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 99
+       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>
-      Support for
+      Preliminary support for
       <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>
-      is provided by
+      in Isabelle 99 is provided by
       <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
    </td>
-- 
cgit v1.2.3