mxcl/homebrew — pull request #14827 by mht208 (2012-09-10 04:00:34+00:00)
Title: Add a formula for Proof General 4.1.

Proof General is a generic front-end for proof assistants, based on Emacs.