diff options
| -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 |