| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |