diff options
| author | David Aspinall | 1999-10-06 16:34:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 16:34:02 +0000 |
| commit | 52f06e610ff0c0b246416d0822dfff7f0a73e172 (patch) | |
| tree | 1557a508cb801dff4c1e746b5b1d73ae0ad380e5 /html | |
| parent | 5ac9ee4e47b8449306e2950acbd756afbeb27ef1 (diff) | |
News later this month.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/html/news.phtml b/html/news.phtml index 332d7da2..7f6b1795 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -1,22 +1,22 @@ <ul> -<li><b>6th October 1999</b><br> - <p> - The next version of Proof General will be 3.0. - </p> - <p> - There have been significant changes to the core of - Proof General and many improvements in the code. - Extra features have been added, and the ones already - there improved upon. Usability has been a particular - focus. Adding new provers has been made easier. - Installation will be made even easier. - All of these changes warrant moving to a major release. - </p> - <p> - Version 3.0 is planned for release in November. - Please test a Version 3.0 pre-release if you can - and report any problems. - </p> +<!-- <li><b>xxth October 1999</b><br> --> +<!-- <p> --> +<!-- The next version of Proof General will be 3.0. --> +<!-- </p> --> +<!-- <p> --> +<!-- There have been significant changes to the core of --> +<!-- Proof General and many improvements in the code. --> +<!-- Extra features have been added, and the ones already --> +<!-- there improved upon. Usability has been a particular --> +<!-- focus. Adding new provers has been made easier. --> +<!-- Installation will be made even easier. --> +<!-- All of these changes warrant moving to a major release! --> +<!-- </p> --> +<!-- <p> --> +<!-- Version 3.0 is planned for release in November. --> +<!-- Please test a Version 3.0 pre-release if you can --> +<!-- and report any problems. --> +<!-- </p> --> <li><b>1st October 1999</b><br> <p> Recently there has been a flurry of work on the next version of Proof General. <br> @@ -28,7 +28,7 @@ </p> <p> At the moment we <b>urgently need</b> somebody from the Coq world to - maintain and improve Coq Proof General, since Patrick Loiseleur + maintain and improve Coq Proof General,<br> since Patrick Loiseleur can no longer work on it. <br> Support from the Coq community is vital for Proof General to be a useful tool there. <br> |