diff options
| author | David Aspinall | 2002-07-17 12:30:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-17 12:30:16 +0000 |
| commit | 8c32dfb9c7e2d388f4f5f6517e12a70a68bf9555 (patch) | |
| tree | 190c603df33810f24329284930c08011f37c560e /html/develdownload.php | |
| parent | 573cc798a9feaa8371f145d8009f5726d10ee1ae (diff) | |
Updates
Diffstat (limited to 'html/develdownload.php')
| -rw-r--r-- | html/develdownload.php | 9 |
1 files changed, 4 insertions, 5 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 |