1 2
(define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)" '((emacs "24.4")))