diff options
| -rw-r--r-- | html/news.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index ae3a823f..8aa7dc11 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -80,8 +80,8 @@ support implemented. Recently there has been a flurry of work on the next version of Proof General. It has quite a number of improvements (see the <?php fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made by myself - and Markus Wenzel. <br> The next version is aimed to coincide (or - perhaps pre-empt) the release of Isabelle 99. + and Markus Wenzel. <br> The next version is aimed to coincide + roughly with the release of Isabelle 99. </p> <p> At the moment we <b>urgently need</b> somebody from the Coq world to |