aboutsummaryrefslogtreecommitdiffhomepage
path: root/proof-general-pkg.el
blob: 489731e975360fbfaca49f49c5f6c3471613f2f6 (plain)
1
2
(define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)"
  '((emacs "24.4")))