diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:08:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:08:08 +0000 |
commit | 48243a0f744d4ce39256cf74001f8f167306e67f (patch) | |
tree | 7f8604e01ebfad48e32f67022142b05dc4d71b00 | |
parent | 9f610fe332075f2de87dafc8f2a6528ca80ab994 (diff) |
Minor change
-rw-r--r-- | html/develdownload.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/develdownload.html b/html/develdownload.html index 64952d62..621d518e 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -29,7 +29,7 @@ updated from that of the <a href="doc">last stable release</a>. </p> <p> -You can see the current documentation: the user manual in +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") ?> or |