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(-)
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
for using Proof General.
-See below for pre-requisites for running Proof General.
+See below for software pre-requisites for running Proof General.