diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-02-09 19:54:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-09 19:54:42 +0000 |
| commit | 6ec45f32ed9f2bb3a2acf4144b0aab5333f6038c (patch) | |
| tree | 85c91f25177ddde16211a1e79104dcca9a842221 | |
| parent | 42c8216c9d0001c51eb00312c0ee9c11bfd4eb35 (diff) | |
Added note about countdown to 3.1
| -rw-r--r-- | html/news.phtml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 90833d64..9214f1ab 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,6 +6,19 @@ </p> <ul> +<li><b>9th February 2000</b><br> +Countdown to Proof General 3.1 begins. This will be a bug fix releaase. +A few bugs have been fixed in +recent Proof General development releases, one important one is fixing +support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu +for raising it to my attention). I would like to release PG 3.1 next +month so that everyone can benefit. +<p> +In the meantime, please +<?php hlink("feedback.phtml","report any important problems","Feedback form")?> +that you would like to see fixed, and consider trying out +the current <a href="devel.phtml">development release</a>. + <li><b>14th December 1999</b><br> <p> I'm pleased to say that Proof General will be demonstrated at |