From 89a3100e227f30ab4254b6616e70afc489eb76e6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 14:14:49 +0000
Subject: Release 3-3.

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

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index 3cd5cf5c..ccdfab58 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -5,7 +5,7 @@ There are two manuals for Proof General:
 </p>
 <ul>
 <li> the  
-<?php htmlshow("ProofGeneral-3.2/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> 
+<?php htmlshow("ProofGeneral-3.3/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> 
 </li>
 <li> the
 <?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?>
@@ -19,12 +19,12 @@ proof systems, it's not needed for ordinary use.
 For printing you can download:
 <ul>
 <li>
-<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
-<?php download_link("ProofGeneral-3.2/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
+<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
+<?php download_link("ProofGeneral-3.3/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
 </li>
 <li>
-<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
-<?php download_link("ProofGeneral-3.2/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
+<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
+<?php download_link("ProofGeneral-3.3/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
 </li>
 </ul>
 <p>
-- 
cgit v1.2.3