From 1443c8d16df9afad2db7c9607338d8a387c2db90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Jul 1999 11:41:47 +0000
Subject: Spaces and punctuation

---
 html/download.phtml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'html')

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.
-- 
cgit v1.2.3