diff options
| author | David Aspinall | 2003-12-11 17:10:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 17:10:04 +0000 |
| commit | fff7dc5a3b1479d0a0ac8612e9545225cd016586 (patch) | |
| tree | 65dc9da4e415b8f151eeda4aa86726fb148e6997 /html | |
| parent | f790b5a8b44f0ecf3ecab8f88086b214444e2c95 (diff) | |
Updated.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/html/news.html b/html/news.html index 513c900d..374526e7 100644 --- a/html/news.html +++ b/html/news.html @@ -1,7 +1,7 @@ <h2>News about Proof General</h2> <ul> -<l><b>11th December 2003</b> +<li><b>11th December 2003</b> <p> Please <b>update your links!</b>. The server <tt>zermelo.dcs.ed.ac.uk</tt> hosting Proof General for the last 5 years has now been retired. @@ -16,6 +16,7 @@ into the help function of Proof General and the bug reporting commands. Please download the upcoming pre-release (available from Dec 15th) which has offending addresses removed. </p> +</li> <li><b>25th September 2003</b> <p> @@ -32,6 +33,7 @@ updated to mention current development efforts. Anonymous access to the Proof General CVS repository is now available! Details are <a href="devel">here</a>. </p> +</li> <li><b>29th August 2002</b> <p> @@ -48,6 +50,8 @@ 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> + </ul> <!-- da: Put this line in instead if you're not me --> <!-- <i>(News items entered by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a> --> |