diff options
| -rw-r--r-- | html/devel.phtml | 51 | ||||
| -rw-r--r-- | html/download.phtml | 23 |
2 files changed, 38 insertions, 36 deletions
diff --git a/html/devel.phtml b/html/devel.phtml index 5363da6f..4bfab453 100644 --- a/html/devel.phtml +++ b/html/devel.phtml @@ -4,29 +4,29 @@ ?> <p> -Here is the latest pre-release of Proof General. It is also available -as a complete archive for developers, to test forthcoming support for -new proof assistants. +Here is the latest pre-release of Proof General. For developers, +it is also available as a complete archive, including +forthcoming support for more proof assistants. +</p> +<p> +Pre-releases of Proof General may be buggy as we add new features and +experiment with them. Nonetheless, we welcome bug reports. But +please make sure you are using the current pre-release before +reporting problems. +</p> <!-- WARNING! Line below automatically edited by makefile. --> <h2><a name="prerel">Pre-release: ProofGeneral-3.0pre991117</a></h2> <!-- End Warning. --> <p> -This pre-release of Proof General may be buggy as new -features are added and experimented with. -<br> Check the <!-- WARNING! Line below automatically edited by makefile. --> <?php fileshow("ProofGeneral-3.0pre991117/CHANGES","CHANGES"); ?> file <!-- End Warning. --> for a summary of changes since the last stable version, and the planned changes to come. -<br> -Please test with the current pre-release before reporting any problems -in a pre-release. </p> - <ul> <!-- WARNING! Lines below automatically edited by makefile. --> <li> gzip'ed tar file: @@ -35,21 +35,28 @@ in a pre-release. <li> Linux RPM package <?php download_link("ProofGeneral-3.0pre991117-1.noarch.rpm") ?> <br> - The source RPM is - <?php download_link("ProofGeneral-3.0pre991117-1.src.rpm","here") ?>. + You probably don't need the + <?php download_link("ProofGeneral-3.0pre991117-1.src.rpm","source RPM") ?>. </li> <!-- End Warning. --> </ul> -<hr> - <h2><a name="devel">Complete Archive of ProofGeneral-3.0pre991117</a></h2> + <p> -If you are interested in helping to develop the core of Proof General, -we provide a complete archive of <i>all</i> the sources used to build the -current Proof General pre-release. The difference from the working -version distribution above is that we include: +This archive is a snapshot from our CVS repository. +</p> +<ul> + <li> gzip'ed tar file: +<!-- WARNING! Line below automatically edited by makefile. --> + <?php download_link("ProofGeneral-3.0pre991117-devel.tar.gz") ?> +<!-- End Warning. --> + </li> +</ul> +<p> +What's the difference from the working version above? +The complete archive also includes: </p> <ul> <li> provisional instantiations of Proof General to new provers <br> @@ -77,14 +84,6 @@ version distribution above is that we include: Note: there are no pre-built documentation files in the developer's release, because developers should have the right tools! </p> -<ul> - <li> gzip'ed tar file: -<!-- WARNING! Line below automatically edited by makefile. --> - <?php download_link("ProofGeneral-3.0pre991117-devel.tar.gz") ?> -<!-- End Warning. --> - </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 diff --git a/html/download.phtml b/html/download.phtml index ecce8cb1..81354503 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -37,14 +37,6 @@ you may wish to check the </h2> <p> -This version of Proof General has been tested -with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br> -It supports Coq version 6.3, LEGO version 1.3.1 and -some pre-release versions of Isabelle version 99. -<p> -Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file -for a summary of changes since version 2.0. -<br> Proof General is available in two formats: </p> <ul> @@ -54,8 +46,9 @@ Proof General is available in two formats: <li> Linux RPM package: <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?> <br> - The source RPM is - <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>. + You probably don't need the + <?php download_link("ProofGeneral-2.1-1.noarch.rpm", + "source RPM") ?>. </li> </ul> <p> @@ -65,6 +58,16 @@ code for LEGO, Coq, and Isabelle, installation instructions and documentation. </p> +<p> +This version of Proof General has been tested +with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3. +It supports Coq version 6.3, LEGO version 1.3.1 and +some pre-release versions of Isabelle version 99. +Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file +for a summary of changes since version 2.0. +</p> + + <h3> Easy installation! </h3> <p> To use Proof General, simply unpack the sources with |