aboutsummaryrefslogtreecommitdiff
path: root/.emacs (follow)
Commit message (Expand)AuthorAge
* Enable easy-pg, bundled by default with emacsRyan Kavanagh2013-02-22
* Forgot to add popup to load-pathRyan Kavanagh2013-02-22
* Added markdown-modeRyan Kavanagh2013-02-21
* Install info files for emacsRyan Kavanagh2013-02-19
* Update path to proofgeneral in .emacsRyan Kavanagh2013-02-19
* Added .emacs and glue to make it compile packages on every systemRyan Kavanagh2013-02-19