Leni Ven
|
0da3fdf1b3
|
Add keybindings for ein; Drop everywhere
|
2023-03-06 01:41:59 -08:00 |
|
Leni Ven
|
d1cae71134
|
Add lean4 bindings
|
2023-02-16 14:25:45 -08:00 |
|
Leni Ven
|
f4a2ec8183
|
Fix lean4 mode
|
2023-02-16 12:29:15 -08:00 |
|
Leni Ven
|
661f0316e5
|
Solve a magit bug with Emacs 28
|
2023-02-16 12:27:41 -08:00 |
|
Leni Ven
|
6e4967dc58
|
Lean4 and EIN stub
|
2023-02-15 17:08:52 -08:00 |
|
Leni Ven
|
4534631d24
|
Rearrange configuration file; Fix hotkeys
|
2023-02-08 23:58:24 -08:00 |
|
Leni Ven
|
473bf1cfa8
|
Add keybindings and reorganise
Also, `(format +onsave)` is changed to just `format` since `+onsave`
really messes with VC systems.
|
2023-02-08 00:00:11 -08:00 |
|
Leni Ven
|
8b6039d43a
|
Fix config problem that prevented tangling and .gitignore
|
2023-02-05 01:49:57 -08:00 |
|
Leni Ven
|
f2d0130fe0
|
Use literate config
|
2023-02-05 01:43:01 -08:00 |