diff options
author | 2000-08-28 12:36:06 +0000 | |
---|---|---|
committer | 2000-08-28 12:36:06 +0000 | |
commit | d5f1c1dd381a3beacd0a464d1466f0a959b4f5d3 (patch) | |
tree | 927a4e0195bb344c2068b875f6bc95c8b6443c2e /html/develdownload.phtml | |
parent | 1d677e46e12f4e243b89478f84b47bfdf96b3c14 (diff) |
Link to two manuals now.
Diffstat (limited to 'html/develdownload.phtml')
-rw-r--r-- | html/develdownload.phtml | 15 |
1 files changed, 10 insertions, 5 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> |