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.5-9.20240912git1ffca70.fc42 | - |
| Fedora 41 | 4.5-9.20240912git1ffca70.fc41 | - |
| Fedora 40 | 4.5-7.fc40 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://proofgeneral.github.io/
- License(s): GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
- Maintainer: jjames
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