Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add popup so that auto-complete can build | Ryan Kavanagh | 2013-02-19 |
| | |||
* | Added proofgeneral | 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 |