| Commit message (Expand) | Author | |
|---|---|---|
| 2013-02-19 | Update path to proofgeneral in .emacs | Ryan Kavanagh |
| 2013-02-19 | Added .emacs and glue to make it compile packages on every system | Ryan Kavanagh |
 |
index : ryanakca-dotfiles | |
| My configuration files |
| aboutsummaryrefslogtreecommitdiff |