Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix missing clean-dictem target | Ryan Kavanagh | 2013-02-25 |
* | Added clobber target for emacsen | Ryan Kavanagh | 2013-02-25 |
* | Drop redundant clean-magit target | Ryan Kavanagh | 2013-02-25 |
* | Preliminary import of vm | Ryan Kavanagh | 2013-02-25 |
* | Add dictem module to emacs | Ryan Kavanagh | 2013-02-22 |
* | Added markdown-mode | Ryan Kavanagh | 2013-02-21 |
* | Update magit to include commit dropping sed -i | Ryan Kavanagh | 2013-02-19 |
* | Add popup so that auto-complete can build | Ryan Kavanagh | 2013-02-19 |
* | Install info files for emacs | Ryan Kavanagh | 2013-02-19 |
* | Update emacsen Makefile so as to not needlessly recompile everything | Ryan Kavanagh | 2013-02-19 |
* | Added proofgeneral | Ryan Kavanagh | 2013-02-19 |
* | Added .emacs and glue to make it compile packages on every system | Ryan Kavanagh | 2013-02-19 |
* | Added makefile for building emacsen | Ryan Kavanagh | 2013-02-19 |
* | Added auto-indent-mode and magit | Ryan Kavanagh | 2013-02-19 |
* | Import emacs auto-complete | Ryan Kavanagh | 2013-02-19 |