Commit message (Expand) | Author | |
---|---|---|
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 |
index : ryanakca-dotfiles | ||
My configuration files |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | |
---|---|---|
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 |