| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2013-02-19 | Install info files for emacs | Ryan Kavanagh | |
| 2013-02-19 | Update emacsen Makefile so as to not needlessly recompile everything | Ryan Kavanagh | |
| 2013-02-19 | Added proofgeneral | Ryan Kavanagh | |
| 2013-02-19 | Added .emacs and glue to make it compile packages on every system | Ryan Kavanagh | |
| 2013-02-19 | Added makefile for building emacsen | Ryan Kavanagh | |
 |
index : ryanakca-dotfiles | |
| My configuration files |
| aboutsummaryrefslogtreecommitdiff |