diff options
| author | David Aspinall | 1999-10-14 17:32:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-14 17:32:04 +0000 |
| commit | fcb1bcf1885da22a1bd11feb491ff3c8431597c0 (patch) | |
| tree | e4eac73928ade6fc6e84668782a462ea5d2b6d54 | |
| parent | c9225ef6b7c6623bf145a92e4481f319ee1b5259 (diff) | |
Version 3.0 message
| -rw-r--r-- | html/news.phtml | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/html/news.phtml b/html/news.phtml index 936d9440..551c4bb9 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -4,24 +4,24 @@ </p> <ul> -<!-- <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>14th 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>12th October 1999</b><br> <p> I'm very grateful to |