Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXZ
]
xemacs-proofgeneral-el - Elisp source files for Proof General under XEmacs
- 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.
Packages
| xemacs-proofgeneral-el-3.7.1-4.puias6.noarch
[428 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.
|
