From 5589f0d77171ad4bb327bb47165ddce5ce72d2f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 14:40:02 +0000
Subject: Trim page a bit

---
 html/download.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 5d645436..1721ac67 100644
--- a/html/download.html
+++ b/html/download.html
@@ -36,7 +36,7 @@ Please check the
 <?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
 for using Proof General.
 <br>
-See <a href="#prereq">below</a> for pre-requisites for running Proof General.
+See <a href="#prereq">below</a> for software pre-requisites for running Proof General.
 </p>
 
 <h2><a name="stable">
-- 
cgit v1.2.3