diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-01 00:32:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-01 00:32:51 +0000 |
| commit | 22feab220e808b98e945ed96376bd54e31a9ff59 (patch) | |
| tree | 677cf9e37073971289b8700699ffad53f2e2a6db /html/news.html | |
| parent | 17daa0279a9e189bf5723a0a65967e2445ca2cba (diff) | |
Fix date on news item
Diffstat (limited to 'html/news.html')
| -rw-r--r-- | html/news.html | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/html/news.html b/html/news.html index a4c9d22a..15e7d574 100644 --- a/html/news.html +++ b/html/news.html @@ -1,10 +1,17 @@ <h2>News about Proof General</h2> <ul> +<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>. +This relaxes the current conditions in several ways, in particular, +allowing packaging and distribution of the code by others. +</p> <li><b>19th June 2002</b> <p> -We plan to release version <b>3.4</b> of Proof General in the -next few weeks. This update will have several significant improvements +We plan to release version <b>3.4</b> of Proof General +next month. This update will have several significant improvements (notably to the synchronization support for Coq), and also includes fixes and updates for recent versions of (X)Emacs and various proof assistants. <br> |