Commit message (Expand) | Author | |
---|---|---|
2013-02-19 | Update magit to include commit dropping sed -i | Ryan Kavanagh |
2013-02-19 | Add popup so that auto-complete can build | Ryan Kavanagh |
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 |
2013-02-19 | Added auto-indent-mode and magit | Ryan Kavanagh |
2013-02-19 | Import emacs auto-complete | Ryan Kavanagh |