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