- Name: xemacs-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 XEmacs
- Architecture: noarch
- Size: 1797102
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package contains the elisp source files for Proof General under
XEmacs. You do not need to install this package to run Proof
General. Install the xemacs-proofgeneral package to use Proof General with
XEmacs.
- OptFlags: -O2
- Cookie:
- Buildhost: ppc9.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: