aboutsummaryrefslogtreecommitdiff
path: root/.emacs (follow)
Commit message (Expand)AuthorAge
...
* Keep things in alphabetical order in emacsRyan Kavanagh2013-02-22
* Add dictem module to emacsRyan Kavanagh2013-02-22
* Add LaTeX to auto-complete modesRyan Kavanagh2013-02-22
* 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