Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXZ
]
emacs-proofgeneral - Compiled elisp files to run Proof General under GNU Emacs
- 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.
Packages
| emacs-proofgeneral-3.7.1-4.puias6.noarch
[385 KiB] |
Changelog
by Alan Dunn (2009-07-29):
- Incorporated comments from Jerry James about applying his patch:
patch now applied unconditionally (regardless of Fedora version
which was used as a somewhat imperfect way to control XEmacs
version).
- Patch descriptions moved upward in spec file in accordance with
examples in guidelines.
|
