- Name: emacs-proofgeneral-el
- Version: 3.7.1
- Release: 4.fc12
- Epoch:
- Group: Applications/Editors
- License: GPLv2
- Url: http://proofgeneral.inf.ed.ac.uk/
- Summary: Elisp source files for Proof General under GNU Emacs
- Architecture: noarch
- Size: 1797102
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package contains the elisp source files for Proof General under
GNU Emacs. You do not need to install this package to run Proof
General. Install the emacs-proofgeneral package to use Proof General with
GNU Emacs.
- OptFlags: -O2
- Cookie:
- Buildhost: ppc9.fedora.phx.redhat.com
