1
0
Fork 0
Commit graph

18 commits

Author SHA1 Message Date
1c9780ae7a Remap emacs ; bindings 2015-12-11 16:57:10 -05:00
bf126d78e4 Switch scheme program back to racket 2015-12-06 13:16:43 -05:00
f59f823973 Remove emacsclient hacks from init.el 2015-12-06 13:14:48 -05:00
8fece56322 Remove proof general from emacs 2015-12-06 13:13:41 -05:00
b3a6e353ee Fixup emacs init.el 2015-11-20 23:03:00 -05:00
09dcb0f999 Fix emacs annoyances 2015-11-20 23:02:43 -05:00
e360faf881 Add tuareg (OCaml) to emacs 2015-11-10 00:34:01 -05:00
c21bb4a9f5 Make emacsclient split window on open 2015-10-13 13:40:41 -04:00
c9f3658050 Remove aliased emacs binding 2015-10-13 13:32:15 -04:00
8f76fa9a8c Add sup detection to emacs 2015-10-12 02:10:19 -04:00
677a0ee067 Add evil-leader to emacs 2015-10-12 02:09:54 -04:00
f7f6b043b8 Remove emacs window size minimum 2015-10-12 02:09:27 -04:00
7e4d0670d2 Add Coq and Proof General to emacs 2015-10-12 02:08:41 -04:00
5b08b308f2 Remove bold from emacs paren match 2015-09-29 18:40:21 -04:00
8b1af0f70d Add paren match highlighting to all of emacs 2015-09-26 15:26:04 -04:00
829fc7af7e Add yaml-mode to emacs 2015-09-26 15:24:23 -04:00
111250a5ab Add 6.820 emacs config 2015-09-24 01:16:29 -04:00
c154ac3f7c Initial commit
dotbot, X, emacs, zsh, i3
2015-09-04 22:53:17 -04:00