From f492a2622fb1f8136090f41279fc9ba57f01a5f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 16:25:46 +0000
Subject: Tweaks for 2.1 release

---
 html/doc.phtml  | 22 ++++++++++++----------
 html/main.phtml |  9 +++++++--
 html/news.phtml |  5 +++--
 3 files changed, 22 insertions(+), 14 deletions(-)

(limited to 'html')

diff --git a/html/doc.phtml b/html/doc.phtml
index 0daca9ae..7f1f9a10 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -1,15 +1,8 @@
 <h2>Manual</h2>
 
 <p>
-Full documentation for Proof General is included in the <?php
-link_root("download","download.") ?> When running Proof General the
-manual is available from the "Proof General" menu.  It should also
-appear in the system info pages.
-</p>
-
-<p>
-For convenience, the manual is available in HTML 
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","Proof General Manual") ?>
+Here is the Proof 
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form.
 <br>
 For printing you can download the 
 <?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>.
@@ -18,12 +11,21 @@ For printing you can download the
 <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.eps.eps", "gzipped eps") ?> -->
 <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> -->
 </p>
+
 <p>
-<i>Warning:</i> the manual above is taken from the current
+<i>Warning:</i> the links above are for the current
 pre-release and may be updated from the documentation included
 in the last stable release.
 </p>
 
+<p>
+Full documentation for Proof General is included in the <?php
+link_root("download","download.") ?> When running Proof General the
+manual is available from the "Proof General" menu.  It should also
+appear in the system info pages.
+</p>
+
+
 <p>
 You can discuss Proof General with other users and receive
 announcements by joining our <a href="mailinglist.phtml">mailing
diff --git a/html/main.phtml b/html/main.phtml
index 87b668b0..88359882 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -28,7 +28,8 @@ For detailed version numbers, check the
 </p>
 
 <p>
-Proof General is ready-customized for several proof assistants:
+Proof General is ready-customized for several proof assistants,
+including:
 </p>
 
 <table width="90%">
@@ -56,7 +57,7 @@ Proof General is ready-customized for several proof assistants:
        "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">",
        "The LEGO Home Page") ?>
    </td>
-    <td><b>LEGO Proof General</b>
+    <td><b>LEGO Proof General</b> for
        <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
 		   "LEGO","The LEGO Home Page") ?>
        <br>
@@ -92,6 +93,10 @@ Proof General is ready-customized for several proof assistants:
    </td>
  </tr>
 </table>
+<p>
+We also supply instructions for how to customize Proof General to new
+proof assistants.
+</p>
 
 <p>
 To see what Proof General looks like in use, have a look at this
diff --git a/html/news.phtml b/html/news.phtml
index 1ef2189d..09b5eb28 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -9,8 +9,9 @@
  </p>
  <p>
   It is recommended that all users upgrade except
-  those still using Isabelle 98-1.  Proof General 2.1
-  only supports Isabelle 99.
+  those still using Isabelle 98-1.  
+  <br> 
+  Proof General 2.1 supports only the 99 version of Isabelle.
  </p>
 </li>
 
-- 
cgit v1.2.3