| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 | 2013-02-19 |
 |
index : ryanakca-dotfiles | |
| My configuration files |
| aboutsummaryrefslogtreecommitdiff |