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.

---
 html/doc.phtml | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

(limited to 'html/doc.phtml')

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