Fedora Packages

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-7.fc40 -
Fedora 40 4.5-7.fc40 -
Fedora 39 4.5-5.fc39 -
Fedora 38 4.5-4.fc38 -
File a new bug report »
Package Info
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