|
|
8a7f406fdb
|
arst
|
2025-12-12 07:56:01 -08:00 |
|
|
|
14cc133dfb
|
haskell-mode and update bibliography
|
2025-11-24 20:32:29 -05:00 |
|
|
|
ad11a7d645
|
idk
|
2025-11-21 19:10:32 -05:00 |
|
|
|
07ce1a0bfa
|
back to catppuccin
|
2025-09-13 11:02:13 -04:00 |
|
|
|
d0b26a0962
|
add early init
|
2025-09-13 09:09:42 -04:00 |
|
|
|
c5ddcf876f
|
lots of emacs tweaks
|
2025-09-13 09:08:52 -04:00 |
|
|
|
6a7c88bc3c
|
switch from straight to package.el
|
2025-08-13 22:24:57 -07:00 |
|
|
|
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 |
|
|
|
d68d670234
|
lots of tweaks to emacs config
|
2025-08-11 19:19:04 -07:00 |
|
|
|
4a4afc925d
|
lots of tweaks
|
2025-08-09 16:14:43 -07:00 |
|
|
|
eb5ff1f8d2
|
minor updates to emacs config
|
2025-07-31 21:08:37 -07:00 |
|
|
|
06867d28d9
|
back to arch
|
2025-07-27 22:15:47 -07:00 |
|
|
|
e419e702ce
|
added avy
|
2025-07-27 17:45:42 -07:00 |
|
|
|
3751fdf3da
|
prettifying emacs a bit
|
2025-07-27 16:42:46 -07:00 |
|
|
|
e6e875dba8
|
added ediprolog
|
2025-05-15 10:38:56 -07:00 |
|
|
|
0bff7e61ee
|
updated straight.el bootstrap
|
2025-05-12 09:26:49 -07:00 |
|
|
|
3593f1c153
|
formatting emacs config
|
2025-05-11 18:56:51 -07:00 |
|
|
|
e1acce94c6
|
clean up emacs config
|
2025-04-16 21:44:39 -07:00 |
|
|
|
cb9ccbbf96
|
minor updates to emacs config
|
2025-03-23 10:49:48 -07:00 |
|
|
|
c53699b0aa
|
lots of tweaks for lean/coq stuff
|
2025-03-17 23:24:41 -07:00 |
|
|
|
1924c069f0
|
fixed emacs dir
|
2025-03-04 22:31:03 -08:00 |
|
