|
|
ce39e84b90
|
back on GNOME
|
2025-07-27 16:42:15 -07:00 |
|
|
|
7c33119a5f
|
set cursor line
|
2025-06-01 18:36:56 -07:00 |
|
|
|
48ce626b47
|
added colorizer
|
2025-05-15 10:37:45 -07:00 |
|
|
|
000339270e
|
moving back to arch
|
2025-05-12 00:02:45 -07:00 |
|
|
|
221bea9e0b
|
make sml keybindings only apply in sml files
|
2025-05-11 18:57:45 -07:00 |
|
|
|
93eef50690
|
ensure_installed = 'all' was maybe a bit too much
|
2025-04-17 10:21:10 -07:00 |
|
|
|
afee190bd2
|
switch back to adwaita
|
2025-04-17 10:20:44 -07:00 |
|
|
|
ae0374c99b
|
got rid of cornelis
|
2025-03-31 18:27:10 -07:00 |
|
|
|
3940535543
|
slightly tweak coq config
|
2025-03-17 23:23:47 -07:00 |
|
|
|
a3cc6c5675
|
got millet working!
|
2025-03-17 23:23:31 -07:00 |
|
|
|
1e422e3976
|
some tweaks
|
2025-03-01 13:16:39 -08:00 |
|
|
|
856382b4e4
|
neotree
|
2025-02-11 19:03:13 -08:00 |
|
|
|
6d72d48383
|
small neovim config updates
|
2025-02-06 20:52:33 -08:00 |
|
|
|
dd71aac4d8
|
got rid of neovide stuff in nvim config
|
2025-01-11 23:21:21 -08:00 |
|
|
|
2f64687574
|
set up neovim for neovide
|
2025-01-10 23:23:23 -08:00 |
|
|
|
b961f230a7
|
back on arch, little bit of cleaning
|
2025-01-05 19:44:10 -08:00 |
|
|
|
c5d494802e
|
some neovim config updates
|
2025-01-02 08:34:36 -08:00 |
|
|
|
a04992ea8b
|
optimized loading a bit
|
2024-10-08 21:48:08 -07:00 |
|
|
|
44625f1ccf
|
completely rewrote neovim config
|
2024-10-06 16:40:37 -07:00 |
|
|
|
70fdabf007
|
metamath
|
2024-09-09 22:49:00 -07:00 |
|
|
|
5d7e3b92b2
|
make autopairs better for lisp
|
2024-09-07 13:31:17 -07:00 |
|
|
|
603b2c92d8
|
back on fedora, so switched to adwaita.nvim
|
2024-09-02 21:54:16 -07:00 |
|
|
|
ee23f6e4bb
|
formatting
|
2024-08-31 13:11:15 -07:00 |
|
|
|
e6a7c2ead3
|
initial commit
|
2024-08-12 17:39:56 -07:00 |
|
