11 commits

Author	SHA1	Message	Date
William Ball	eb5ff1f8d2	minor updates to emacs config	2025-07-31 21:08:37 -07:00
William Ball	06867d28d9	back to arch	2025-07-27 22:15:47 -07:00
William Ball	e419e702ce	added avy	2025-07-27 17:45:42 -07:00
William Ball	3751fdf3da	prettifying emacs a bit	2025-07-27 16:42:46 -07:00
William Ball	e6e875dba8	added ediprolog	2025-05-15 10:38:56 -07:00
William Ball	0bff7e61ee	updated straight.el bootstrap	2025-05-12 09:26:49 -07:00
William Ball	3593f1c153	formatting emacs config	2025-05-11 18:56:51 -07:00
William Ball	e1acce94c6	clean up emacs config	2025-04-16 21:44:39 -07:00
William Ball	cb9ccbbf96	minor updates to emacs config	2025-03-23 10:49:48 -07:00
William Ball	c53699b0aa	lots of tweaks for lean/coq stuff	2025-03-17 23:24:41 -07:00
William Ball	1924c069f0	fixed emacs dir	2025-03-04 22:31:03 -08:00