proof-general-pkg.el - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/proof-general-pkg.el

blob: 53f33432401dfe357e185b941b23d7a398326128 (plain)

1
2
3

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