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