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