aboutsummaryrefslogtreecommitdiff
path: root/emacsen (follow)
Commit message (Expand)AuthorAge
* 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