- Name: emacs-proofgeneral
- Version: 3.7.1
- Release: 4.fc12
- 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: 1462175
- Distribution: Koji
- 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: ppc9.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: