diff options
Diffstat (limited to 'html/doc.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> |