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