Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Added markdown-mode | Ryan Kavanagh | 2013-02-21 |
| | |||
* | 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 | 2013-02-19 |