diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.html | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/html/doc.html b/html/doc.html index 51d084a9..6c727af3 100644 --- a/html/doc.html +++ b/html/doc.html @@ -4,11 +4,9 @@ There are two manuals for Proof General: </p> <ul> -<li> the -<?php htmlshow("ProofGeneral-3.3/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> +<li> the <a href="userman">Proof General user manual</a> </li> -<li> the -<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?> +<li> the <a href="adaptingman">Adapting Proof General manual"</a> </li> </ul> <p> @@ -19,12 +17,12 @@ proof systems, it's not needed for ordinary use. For printing you can download: <ul> <li> -<?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 +<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and +<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or </li> <li> -<?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]") ?> +<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "User manual [pdf]") ?>, +<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?> </li> </ul> <p> |