4 commits

Author	SHA1	Message	Date
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