- Name: xemacs-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 XEmacs
- Architecture: noarch
- Size: 1370604
- 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 XEmacs.
- OptFlags: -O2
- Cookie:
- Buildhost: ppc9.fedora.phx.redhat.com
Sources packages:
Other version of this rpm:
