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