diff options
| author | David Aspinall | 1999-11-15 14:41:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 14:41:45 +0000 |
| commit | ba2e256b6dd7aecffb3b4b9ea790e24b0306d139 (patch) | |
| tree | 72b42e801b5b2184c3fccd36e1bd5eaa6b302c78 /html | |
| parent | f9449f39bc520ffd150738eaa53246e8ce2c743b (diff) | |
Added in-testing message
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index ddce725e..223235fe 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,6 +6,12 @@ </p> <ul> +<li><b>15th November 1999</b><br> +<p> +Proof General 3.0 is currently in testing, and will be released later +this week. In the meantime, please send feedback on +current pre-releases! +</p> <li><b>9th November 1999</b><br> <p> Isabelle 99 was released last week, and Proof General 3.0 should |