7 commits

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