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: 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")))`