diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-17 12:30:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-17 12:30:16 +0000 |
commit | 8c32dfb9c7e2d388f4f5f6517e12a70a68bf9555 (patch) | |
tree | 190c603df33810f24329284930c08011f37c560e /html | |
parent | 573cc798a9feaa8371f145d8009f5726d10ee1ae (diff) |
Updates
Diffstat (limited to 'html')
-rw-r--r-- | html/develdownload.php | 9 | ||||
-rw-r--r-- | html/news.html | 4 |
2 files changed, 6 insertions, 7 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index e51432a7..6353ca01 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -90,7 +90,7 @@ using an <a href="oldrel.php">older release</a> of Proof General. <p> <b>Prover versions:</b> This version has been tested with Coq 7.3, Isabelle2002, Lego 1.3.1, -and PhoX XXX. +and PhoX 0.8. </p> <p> For install instructions, see @@ -137,10 +137,9 @@ The complete archive also includes: <li> working instantiations of Proof General for new provers </li> </ul> <p> -You probably <em>don't</em> need to download this if you're only -interested in hacking the Emacs lisp part of the program for a prover -that is currently supported. Note that there are no pre-built -documentation files in the developer's release. +Most people don't need this. Note that there are no pre-built +documentation files in the developer's release (developers can +run Make, by definition). </p> <?php diff --git a/html/news.html b/html/news.html index bff758f7..1a420a7c 100644 --- a/html/news.html +++ b/html/news.html @@ -17,8 +17,8 @@ improvements fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x) and various proof assistants. <br> -<b>Please, please, please</b> do test the <a -href="develdownload.html">development release</a> for us in the +<b>Please, please, please</b> do test some <a +href="develdownload.html">development releases</a> for us in the meantime and <a href="feedback">report any difficulties</a>, to help make the next release of Proof General as robust as possible. Thanks! |