diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/html/download.phtml b/html/download.phtml index 77dbd085..168453a7 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -19,9 +19,10 @@ Proof General <p> You can download the latest -<a href="#stable">stable release</a> -or the latest -<a href="#unstable">pre-release</a>. +stable release, +<a href="#stable">ProofGeneral-2.0</a>, or the latest pre-release, +<!-- Warning, next line edited by make file --> +<a href="#prerel">ProofGeneral-2.1pre990701</>. </p> <hr> @@ -87,7 +88,7 @@ any problems, suggestions, or patches. <hr> <!-- WARNING! Line below automatically edited by makefile. --> -<h2><a name="unstable">Pre-release: ProofGeneral-2.1pre990701</a></h2> +<h2><a name="prerel">Pre-release: ProofGeneral-2.1pre990701</a></h2> <!-- End Warning. --> <p> @@ -96,9 +97,9 @@ features are added and experimented with. <br> Check the <!-- WARNING! Line below automatically edited by makefile. --> -<?php fileshow("ProofGeneral-2.1pre990701/CHANGES","CHANGES"); ?> +<?php fileshow("ProofGeneral-2.1pre990701/CHANGES","CHANGES"); ?> file <!-- End Warning. --> -file for a summary of changes since the last stable version. +for a summary of changes since the last stable version. <br> Please test with the latest pre-release before reporting any problems in a pre-release. |