Emacs-based generic interface for theorem provers

Current versions

Revision: 1

proof-general requires the following formula to be installed:
texi2html 5.0 Convert TeXinfo files to HTML

Formula history

ilovezfs Use “squiggly” heredocs.
Eric Mertens proof-general: revision for emacs
Mike McQuaid Use hash rockets again. (#5177)
Zhiming Wang proof-general 4.4
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Tej Chajed proof-general: update homepage (#4853)
Dominyk Tiller proof-general: use elisp shorthand
Tej Chajed proof-general: Support HEAD installation
Kabelo Moiloa proof-general 4.3pre150930 (devel)
Alex Dunn proof-general: fix dev version, lower req'd emacs
Show all revisions of this formula