# proof-general

Emacs-based generic interface for theorem provers

## Current versions:

**4.4****HEAD**

## Dependencies

*proof-general* requires the following formula to be installed:

## Formula history

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 | |

Alex Dunn | proof-general: formula-specific dir in site-lisp | |

Nikolaus Wittenstein | Add descriptions to all remaining homebrew packages | |

Show all revisions of this formula |

Alex Dunn | proof-general: use EmacsRequirement | |

Mike McQuaid | formulae: fix with/without usage. | |

Jack Nagel | Silence some Ruby 2.1 warnings | |

Adam Vandenberg | proof-general: use ARGV.value | |

Adam Vandenberg | serialize proof-general installs | |

Adam Vandenberg | proof-general: support Emacs 24.x | |