diff options
Diffstat (limited to 'html/news.html')
| -rw-r--r-- | html/news.html | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/html/news.html b/html/news.html new file mode 100644 index 00000000..774c0359 --- /dev/null +++ b/html/news.html @@ -0,0 +1,24 @@ +<h2>News about Proof General</h2> + +<ul> +<li><b>29th August 2002</b> +<p> +<i>Proof General 3.4 is released. Happy Proving!</i> +<br> +Go to the <a href="download">download page</a> to get it. +<br> +Please report any problems to <a href="mailto:support@proofgeneral.org"><tt>support@proofgeneral.org</tt></a>. +</p> +<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> +</ul> +<!-- da: Put this line in instead if you're not me --> +<!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> --> +<!-- unless noted.)</i> --> +<i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i> +<i>Click <a href="oldnews.html">here</a> for old news.</i> |