diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:53:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:53:42 +0000 |
| commit | f3d6e0609c97318445d526dc431a782b8a9ea3aa (patch) | |
| tree | c3b11e54b0f15384fea6046d82da1a803b7d5c4d /html/develdownload.phtml | |
| parent | f3dc3fd823f4144caa8f3ebfbbbeb44424b96d50 (diff) | |
Added links to latest manual
Diffstat (limited to 'html/develdownload.phtml')
| -rw-r--r-- | html/develdownload.phtml | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index 1d7b87ef..63eb1597 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -19,9 +19,27 @@ reporting problems. Please <a href="register.phtml">register</a> if you haven't done so already. </p> + <!-- WARNING! Line below automatically edited by makefile. --> -<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000530</a></h2> +<h2><a name="doc">Manual for ProofGeneral-3.2pre000530</a></h2> <!-- End Warning. --> +<p> +The manual included with the pre-release may be +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") ?>. +</p> + + +<!-- WARNING! Line below automatically edited by makefile. --> +<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000530</a></h2> + <p> Check the |