| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 | 2013-02-19 |
| | | |||
| * | Added auto-indent-mode and magit | Ryan Kavanagh | 2013-02-19 |
| | | |||
| * | Import emacs auto-complete | Ryan Kavanagh | 2013-02-19 |
