16 commits

Author	SHA1	Message	Date
William Ball	c5ddcf876f	lots of emacs tweaks	2025-09-13 09:08:52 -04:00
William Ball	6a7c88bc3c	switch from straight to package.el	2025-08-13 22:24:57 -07:00
William Ball	53acc291e1	added project for unchanging pages that shouldn't be indexed, like about me and the home page	2025-08-12 14:18:32 -07:00
William Ball	d68d670234	lots of tweaks to emacs config	2025-08-11 19:19:04 -07:00
William Ball	4a4afc925d	lots of tweaks	2025-08-09 16:14:43 -07:00
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