diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 35 |
1 files changed, 17 insertions, 18 deletions
diff --git a/html/download.html b/html/download.html index 19cc10fb..407d8ce1 100644 --- a/html/download.html +++ b/html/download.html @@ -8,7 +8,7 @@ If you have already registered you do not need to do so again. <p> The statistics collected from registrations will be used to help a case for support for Proof General, and nothing else. It is likely -that development of Proof General will <i>finish very soon</i> unless +that development of Proof General will <i>finish soon</i> unless we can find new resources. As a courtesy, we do not make registration compulsory and I can tell from the server logs that the majority of people downloading do not register. But if you don't register @@ -97,9 +97,8 @@ All components mentioned above are distributed under the GPL license. <br> <br> - <h2><a name="stable"> - Proof General Version 3.2, released 2nd October 2000 + Proof General Version 3.3, released 5th September 2001 </a> </h2> @@ -108,20 +107,17 @@ Proof General is available as an archive and an RPM package. </p> <ul> <li> gzip'ed tar file: - <?php download_link("ProofGeneral-3.2.tar.gz") ?>, + <?php download_link("ProofGeneral-3.3.tar.gz") ?>, <br> or the same thing in a zip file: - <?php download_link("ProofGeneral-3.2.zip") ?>, + <?php download_link("ProofGeneral-3.3.zip") ?>. </li> <li> Linux RPM package: - <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?> + <?php download_link("ProofGeneral-3.3-1.noarch.rpm") ?> <br> - You probably don't need the - <?php download_link("ProofGeneral-3.2-1.src.rpm", - "source RPM") ?>. </li> <li> individual files: - <a href="ProofGeneral-3.2">browse the package here</a>. + <a href="ProofGeneral-3.3">browse the package here</a>. </li> </tr> @@ -140,16 +136,19 @@ you may like to download the <?php download_link("ProofGeneralPortrait.eps.gz", "front page image") ?>. </p> - +<p> +We no longer offer a SRPM, since you can now build the RPM directly +from the source tarball using <tt>rpm -ta</tt>. +</p> <p> This version of Proof General has been tested -with XEmacs 21.1 and (briefly with) FSF Emacs 20.7. -It supports Coq version 6.3, LEGO version 1.3.1 and -Isabelle99-1. +with XEmacs 21.4 and (briefly with) FSF Emacs 20.7. +It supports earlier versions of both Emacsen, but +we recommend using the latest versions availab.e </p> <p> -Check the <?php fileshow("ProofGeneral-3.2/CHANGES","CHANGES"); ?> file -for a summary of changes since version 3.1. +Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file +for >a summary of changes since version 3.2. </p> <p> Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file @@ -171,7 +170,7 @@ please To use Proof General, simply unpack the sources with </p> <blockquote> - <tt>tar xpzf ProofGeneral-3.2.tar.gz</tt> + <tt>tar xpzf ProofGeneral-3.3.tar.gz</tt> </blockquote> <p> (use <tt>gunzip</tt> first in place of <tt>z</tt> if you don't have @@ -197,7 +196,7 @@ Use a zip file utility to unpack it somewhere, for example Further customization is possible via the Customize menus in Emacs. <br> -See the <?php fileshow("ProofGeneral-3.2/INSTALL","INSTALL")?> +See the <?php fileshow("ProofGeneral-3.3/INSTALL","INSTALL")?> file in the distribution for more details. </p> |