diff options
| author | David Aspinall | 1999-07-02 11:41:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-02 11:41:47 +0000 |
| commit | 1443c8d16df9afad2db7c9607338d8a387c2db90 (patch) | |
| tree | 3246e6c8637d260a22594594df8e6d5e8a8771cf | |
| parent | ab054c757e8d0cde207233a37e4a18fdf598c6af (diff) | |
Spaces and punctuation
| -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. |