- Name: emacs-proofgeneral
- Version: 3.7.1
- Release: 5.fc15
- Epoch:
- Group: Applications/Editors
- License: GPLv2
- Url: http://proofgeneral.inf.ed.ac.uk/
- Summary: Compiled elisp files to run Proof General under GNU Emacs
- Architecture: noarch
- Size: 1464429
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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.
- OptFlags: -O2
- Cookie:
- Buildhost: x86-18.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: