Commit message (Collapse) | Author | ||
---|---|---|---|
2013-02-25 | 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-22 | Add dictem module to emacs | Ryan Kavanagh | |
2013-02-21 | Added markdown-mode | 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 | |