From 78ac2e9ae8c6638697b1aeee7f28b6ba800b28c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 21 Jun 2002 21:39:30 +0000
Subject: GPL update

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

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 45537fa4..a0a75d4e 100644
--- a/html/download.html
+++ b/html/download.html
@@ -32,9 +32,9 @@ you may need to download one of the
 <a href="oldrel.php">previous releases</a>.
 </p>
 <p>
-Please check the 
-<?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
-for using Proof General.
+Proof General is distributed under the terms of
+the 
+<?php fileshow("ProofGeneral/COPYING","GNU General Public License"); ?>.
 <br>
 See <a href="#prereq">below</a> for software pre-requisites for running Proof General.
 </p>
-- 
cgit v1.2.3