Add a formula for Proof General 4.1. #14827

Closed
wants to merge 2 commits into
from

Conversation

Projects
None yet
2 participants
Contributor

mht208 commented Sep 10, 2012

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

mht208 added some commits Sep 10, 2012

@mht208 mht208 Add a formula for Proof General 4.1.
Proof General is a generic front-end for proof assistants, based on
Emacs.
d367621
@mht208 mht208 Simplify the formula of ProofGeneral. bb4f1a8
Contributor

adamv commented Nov 4, 2012

What do other maintainers think of this? I'd almost suggest starting homebrew-emacs for this and #10643.

adamv closed this in ecd40ee Dec 17, 2012

xu-cheng locked and limited conversation to collaborators Feb 16, 2016

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.