-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 finish soon 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 now, please consider returning to -register later if you find Proof General interesting or useful. If -you don't want to fill the form, please send an email directly -or even a paper letter to the -LFCS. +The statistics collected from registrations are used to help +make a case for support for Proof General, and nothing else. +It is likely that development of Proof General will finish soon +unless we 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 now, please consider returning to register later if you find +Proof General interesting or useful. If you don't want to fill the +form, please send an email +directly or even a paper letter to the LFCS. If you +can offer to help resource the development of Proof General +in some way, please +contact us.
@@ -35,8 +35,76 @@ you may need to download one of the
Please check the
for using Proof General.
+
+See below for pre-requisites for running Proof General.
+Proof General is available as an archive and an RPM package. +
+| gzip'ed tar file | + ++ |
| zip file | ++ |
| RPM package | ++ |
| individual files | +browse individual files + |
+Both the tarball and the RPM package include the generic elisp +code, +code for the supported provers, installation instructions +and documentation in Info and HTML formats. +Documentation is available in other formats +here here. +If you want to format the documentation yourself, +you may like to download the +. +Note that we don't ship an SRPM now, since you can build the RPM directly +from the source tarball using rpm -ta. +
++This version of Proof General has been tested +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 available +
++Check the file +for >a summary of changes since version 3.2. +
++Check the latest file +(also + + + +) + +before reporting problems. If you find a problem not already mentioned, +please +. +
+-Proof General is available as an archive and an RPM package. -
-
-Both the tarball and the RPM package include the generic elisp
-code,
-code for the supported provers, installation instructions
-and documentation in Info and HTML formats.
-
-Documentation is available in other formats -here here. -If you want to format the documentation yourself, -you may like to download the -. -
--We no longer offer a SRPM, since you can now build the RPM directly -from the source tarball using rpm -ta. -
--This version of Proof General has been tested -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 available -
--Check the file -for >a summary of changes since version 3.2. -
--Check the latest file -(also - - - -) - -before reporting problems. If you find a problem not already mentioned, -please -. -
-To use Proof General, simply unpack the sources with
-- cgit v1.2.3