Tweaks for 2.1 release

3 files changed, 22 insertions, 14 deletions

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,13 +11,22 @@ 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
 lists</a>.
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>