diff options
Diffstat (limited to 'html/news.html')
-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> |