(define-package "proof-general" "4.5-git"
  "A generic front-end for proof assistants (interactive theorem provers)"
  '((emacs "24.3")))