| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-02-24 | Convert all 'def test' formulae to 'test do' | Ted Pennings |
| 2013-08-18 | eprover 1.8 | Brett Koonce |
| 2013-03-30 | eprover 1.7 | Brett Koonce |
| 2012-08-05 | eprover 1.6 | Brett Koonce |
| 2012-03-10 | The E Theorem Prover 1.4 | Libor Wagner |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |