diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-09-24 23:57:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-24 23:57:57 +0000 |
| commit | 98e40c4f92aeac4d5287c5d4580db77400c8fdfe (patch) | |
| tree | cf27d6f0d0f7ceac6a77bce390cf290ca3f7794f /html | |
| parent | 90bca7001ed082df094b344a9ea2e8f8aeb7823f (diff) | |
Updated.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/html/news.html b/html/news.html index 5ef51adc..aa385457 100644 --- a/html/news.html +++ b/html/news.html @@ -1,6 +1,18 @@ <h2>News about Proof General</h2> <ul> +<li><b>25th September 2003</b> +<p> +There is a new <a href="develdownload">development</a> version of +Proof General released today. There are some minor fixes, and an +updated version of X-Symbol bundled. Please test it and let me know +how you get on. It would be nice to release the final version 3.5 at +last. +</p> +Also, the <a href="kit">Proof General Kit</a> page has been +updated to mention current development efforts. +</p> + <li><b>29th August 2002</b> <p> <i>Proof General 3.4 is released. Happy Proving!</i> |