diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-01 00:46:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-01 00:46:54 +0000 |
| commit | ca1ae6bbac5eb42c555238794e23e0ef31b07d9a (patch) | |
| tree | c3c6272aaf69919d2e7385ab39bd78855f037310 | |
| parent | e187fdda4d14a3b83767428d496279059aecca58 (diff) | |
Syntax error
| -rw-r--r-- | html/news.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.html b/html/news.html index 15e7d574..cbc1ecaf 100644 --- a/html/news.html +++ b/html/news.html @@ -4,7 +4,7 @@ <li><b>1st July 2002</b> <p> Good news! The license conditions for Proof General will shortly be -changed to the <a href="http://www.gnu.org/copyleft/gpl.html>GPL</a>. +changed to the <a href="http://www.gnu.org/copyleft/gpl.html">GPL</a>. This relaxes the current conditions in several ways, in particular, allowing packaging and distribution of the code by others. </p> |