If you use an old version of a proof assistant, you may need to download one of the previous releases . Please check the license conditions for using Proof General. See below for software pre-requisites for running Proof General. 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 .
Note that we don't ship an SRPM now, since you can build the RPM directly from the source tarball using rpm -ta . FSF Emacs 20.7. If you find a problem not already mentioned, please send us a note . One or more of the supported proof assistants. Or write your own support for a new assistant.