diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 15 | ||||
| -rw-r--r-- | html/doc.phtml | 2 |
2 files changed, 11 insertions, 6 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index f5e22170..e6dd3dbf 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -29,11 +29,16 @@ updated from that of the <?php link_root("doc","last stable release") ?>. </p> <p> -You can see the current manual in -<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General Manual") ?> or download the -<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> -or the -<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>. +You can see the current documentation: the user manual in +<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>, +<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> +or +<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>, +and the new separate "adapting" manual, in +<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>, +<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> +or +<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>, </p> diff --git a/html/doc.phtml b/html/doc.phtml index 8e00ca9e..bb0de678 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -2,7 +2,7 @@ <p> Here is the -<?php htmlshow("ProofGeneral-3.1/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 user manual","Proof General Manual") ?> in HTML form, as included in the distribution. <br> For printing you can download the <?php download_link("ProofGeneral-3.1/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> |