Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXZ
]
xemacs-proofgeneral - Compiled elisp files to run Proof General under XEmacs
- 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.
Packages
| xemacs-proofgeneral-3.7.1-4.puias6.noarch
[377 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.
|
