| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-07-17 | proof-general: use ARGV.value | Adam Vandenberg |
| 2013-07-08 | serialize proof-general installs | Adam Vandenberg |
| 2013-07-08 | proof-general: support Emacs 24.x | Adam Vandenberg |
| 2012-12-17 | Proof General 4.2 | Richard Osborn |
| 2012-12-16 | Proof General 4.1 | Ming-Hsien Tsai |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |