Jump to letter: [
3ABCDEFGHIJKLMNOPQRSTUVWXZ
]
emacs-proofgeneral-el - Elisp source files for Proof General under GNU Emacs
- Description:
This package contains the elisp source files for Proof General under
GNU Emacs. You do not need to install this package to run Proof
General. Install the emacs-proofgeneral package to use Proof General with
GNU Emacs.
Packages
| emacs-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.
|
