emacs-proofgeneral Subpackage of emacs-common-proofgeneral
Compiled elisp files to run Proof General under GNU Emacs
Proof General is a generic front-end for proof assistants based on Emacs. This package contains the byte compiled elisp packages to run Proof General with GNU Emacs.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 4.4-15.20211013gitfd04605.fc36 | - |
| Fedora 35 | 4.4-14.20200506gitea62543.fc35 | - |
| Fedora 34 | 4.4-13.20200506gitea62543.fc34 | - |
Package Info
Related Packages
- Upstream: https://proofgeneral.github.io/
- License(s): GPLv2
- Maintainer: amdunn
Related Packages
You can contact the maintainers of this package via email at
emacs-common-proofgeneral dash maintainers at fedoraproject dot org.
Sources on Pagure