diff options
| author | David Aspinall | 2001-09-09 14:14:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-09 14:14:49 +0000 |
| commit | 89a3100e227f30ab4254b6616e70afc489eb76e6 (patch) | |
| tree | 78db78e04872af503e7eee0624dd38b78755da22 /html | |
| parent | 7707e3cea3f1f488988ae19ae27d13c318bbf7d3 (diff) | |
Release 3-3.
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.html | 10 |
1 files changed, 5 insertions, 5 deletions
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> |