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