aboutsummaryrefslogtreecommitdiff
path: root/emacsen (unfollow)
Commit message (Expand)Author
2015-09-16Tidy up emacsen submodulesRyan Kavanagh
2014-08-31Set TZ to MoscowRyan Kavanagh
2013-07-25New proof general versionRyan Kavanagh
2013-07-25Add dtrt-indent to emacs, clean up emacsen MakefileRyan Kavanagh
2013-07-08MIT + offlineimap now works if using my patched versionRyan Kavanagh
2013-06-28Info file is broken in vm; skip building/installing itRyan Kavanagh
2013-06-27Updated vmRyan Kavanagh
2013-06-27Updated markdown modeRyan Kavanagh
2013-06-27auto-complete mode builds/installs againRyan Kavanagh
2013-06-27Updated auto-completeRyan Kavanagh
2013-06-27Updated auto-indent-modeRyan Kavanagh
2013-04-05Install BBDB to ~/.emacs.d/bbdb nowRyan Kavanagh
2013-04-05Don't record Debian/Launchpad bug addresses in BBDBRyan Kavanagh
2013-03-02Handle the case of clobber having been run in emacsen cleanRyan Kavanagh
2013-03-02Add missing parts of make- targets for emacsenRyan Kavanagh
2013-02-28Added haskell-modeRyan Kavanagh
2013-02-28Run install-info after emacsRyan Kavanagh
2013-02-28Added bbdbRyan Kavanagh
2013-02-25Fix missing clean-dictem targetRyan Kavanagh
2013-02-25Added clobber target for emacsenRyan Kavanagh
2013-02-25Drop redundant clean-magit targetRyan Kavanagh
2013-02-25Preliminary import of vmRyan Kavanagh
2013-02-22Add dictem module to emacsRyan Kavanagh
2013-02-21Added markdown-modeRyan Kavanagh
2013-02-19Update magit to include commit dropping sed -iRyan Kavanagh
2013-02-19Add popup so that auto-complete can buildRyan Kavanagh
2013-02-19Install info files for emacsRyan Kavanagh
2013-02-19Update emacsen Makefile so as to not needlessly recompile everythingRyan Kavanagh
2013-02-19Added proofgeneralRyan Kavanagh
2013-02-19Added .emacs and glue to make it compile packages on every systemRyan Kavanagh
2013-02-19Added makefile for building emacsenRyan Kavanagh
2013-02-19Added auto-indent-mode and magitRyan Kavanagh
2013-02-19Import emacs auto-completeRyan Kavanagh
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-25 20:00:16 +0000