Commit message (Collapse) | Author | ||
---|---|---|---|
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 | |