diff options
| author | David Aspinall | 2002-07-18 12:04:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:04:29 +0000 |
| commit | a29ef320617289cd9318d0f96b91e89fcfd46819 (patch) | |
| tree | 424246c3902ec2d0f2314b28be10703bceada3a4 /html | |
| parent | e14e4ca31658ee6369c68601c9c7ad7114e1f7ae (diff) | |
Link to latest version for manuals
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index 69f3bb9e..b31d9953 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -32,15 +32,15 @@ updated from that of the </p> <p> Here is the pre-release 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") ?> +<?php htmlshow("ProofGeneral-latest/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>, +<?php download_link("ProofGeneral-latest/doc/ProofGeneral.ps.gz", "ps") ?> or -<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>, +<?php download_link("ProofGeneral-latest/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") ?> +<?php htmlshow("ProofGeneral-latest/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>, +<?php download_link("ProofGeneral-latest/doc/PG-adapting.ps.gz", "ps") ?> or -<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>. +<?php download_link("ProofGeneral-latest/doc/PG-adapting.pdf", "pdf") ?>. </p> |