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.
Build Time
2023-07-19 18:31:34 GMT
Size
821.25 KB
c44ba4fd50a46b1be9ecc52313494675
License
GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0