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-01-19 02:30:38 GMT
Size
821.50 KB
e168a5bb78d9ac951963d8acd616e1a3
License
GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0