proofgeneral
Emacsbased generic interface for theorem provers
Current versions:
4.4
HEAD
Dependencies
proofgeneral requires the following formula to be installed:
Formula history
Mike McQuaid 
Use hash rockets again. (#5177)


Zhiming Wang 
proofgeneral 4.4


Mike McQuaid 
Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)


Tej Chajed 
proofgeneral: update homepage (#4853)


Dominyk Tiller 
proofgeneral: use elisp shorthand


Tej Chajed 
proofgeneral: Support HEAD installation


Kabelo Moiloa 
proofgeneral 4.3pre150930 (devel)


Alex Dunn 
proofgeneral: fix dev version, lower req'd emacs


Alex Dunn 
proofgeneral: formulaspecific dir in sitelisp


Nikolaus Wittenstein 
Add descriptions to all remaining homebrew packages


Show all revisions of this formula

Alex Dunn 
proofgeneral: use EmacsRequirement


Mike McQuaid 
formulae: fix with/without usage.


Jack Nagel 
Silence some Ruby 2.1 warnings


Adam Vandenberg 
proofgeneral: use ARGV.value


Adam Vandenberg 
serialize proofgeneral installs


Adam Vandenberg 
proofgeneral: support Emacs 24.x

