| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Enable easy-pg, bundled by default with emacs | Ryan Kavanagh | 2013-02-22 | |
| | | ||||
| * | Forgot to add popup to load-path | Ryan Kavanagh | 2013-02-22 | |
| | | ||||
| * | 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 | |
