From 3f350e977de56715a55de410b064a135620786d9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 19:22:35 +0000
Subject: Make doc link to 3.1, not pre-release.  Minor extra editing on new
 release.

---
 Makefile.devel |  2 +-
 html/doc.phtml | 19 +++++++++----------
 2 files changed, 10 insertions(+), 11 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index 5e76300a..a03cbc4c 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -36,7 +36,7 @@
 ##
 ##   No facility to edit html to make a full release in this makefile.  
 ##   Too much effort for infrequenty used function.  
-##   Must edit download.phtml by hand, then run 
+##   Must edit download.phtml and doc.phtml by hand, then run 
 ##
 ##    make releaseall VERSION=2.0
 ##
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>
@@ -36,6 +30,11 @@ list</a>.
 <p> Ideas for the future of Proof General are given here:
 </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 
@@ -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:
-- 
cgit v1.2.3