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: b14ed1d60ca3769ac68a955916820549de01405c (plain)

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