aboutsummaryrefslogtreecommitdiff
path: root/emacsen (follow)
Commit message (Expand)AuthorAge
* Add popup so that auto-complete can buildRyan Kavanagh2013-02-19
* Install info files for emacsRyan Kavanagh2013-02-19
* Update emacsen Makefile so as to not needlessly recompile everythingRyan Kavanagh2013-02-19
* Added proofgeneralRyan Kavanagh2013-02-19
* Added .emacs and glue to make it compile packages on every systemRyan Kavanagh2013-02-19
* Added makefile for building emacsenRyan Kavanagh2013-02-19
* Added auto-indent-mode and magitRyan Kavanagh2013-02-19
* Import emacs auto-completeRyan Kavanagh2013-02-19