aboutsummaryrefslogtreecommitdiff
path: root/emacsen (unfollow)
Commit message (Collapse)Author
2013-02-19Added proofgeneralRyan Kavanagh
2013-02-19Added .emacs and glue to make it compile packages on every systemRyan Kavanagh
2013-02-19Added makefile for building emacsenRyan Kavanagh
2013-02-19Added auto-indent-mode and magitRyan Kavanagh
2013-02-19Import emacs auto-completeRyan Kavanagh