Commit message (Expand) | Author | |
---|---|---|
2013-02-21 | Added markdown-mode | Ryan Kavanagh |
2013-02-19 | Install info files for emacs | Ryan Kavanagh |
2013-02-19 | Update path to proofgeneral in .emacs | Ryan Kavanagh |
2013-02-19 | Added .emacs and glue to make it compile packages on every system | Ryan Kavanagh |