Source Package emacs-common-proofgeneral

Subpackages

• emacs-common-proofgeneral - Emacs mode for standard interaction interface for proof assistants
• emacs-proofgeneral - Compiled elisp files to run Proof General under GNU Emacs