Make doc link to 3.1, not pre-release. Minor extra editing on new release.

1 files changed, 9 insertions, 10 deletions

diff --git a/html/doc.phtml b/html/doc.phtml
index 4a496cac..8e00ca9e 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -2,18 +2,12 @@
 
 <p>
 Here is the  
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form, as included in the distribution.
+<?php htmlshow("ProofGeneral-3.1/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form, as included in the distribution.
 <br>
 For printing you can download the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
+<?php download_link("ProofGeneral-3.1/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
 (recommended) or the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
-</p>
-
-<p>
-<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.
+<?php download_link("ProofGeneral-3.1/doc/ProofGeneral.pdf", "pdf file") ?>.
 </p>
 
 <p>
@@ -37,6 +31,11 @@ list</a>.
 </p>
 <ul>
 <li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
+    <b><i>Protocols for Interactive e-Proof</i></b>.
+    Draft version, see 
+    <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#eproof">here</a>.
+</li>
+<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
     <b><i>Proof General Kit (white paper)</i></b>.
     Draft version, see 
     <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>.
@@ -52,7 +51,7 @@ list</a>.
       Analysis of Systems, Proc TACAS 2000</i>, LNCS 1785.
     <br>
     Here are some <a href="papers/pgtalk.pdf">slides</a> 
-    I used for this talk and some other presentations of Proof General.
+    used for this talk and some other presentations of Proof General.
 </li>
 </ul>
 <p> Proof General supports Script Management as documented in: