Commit Graph

20 Commits

Author SHA1 Message Date
Leni Ven 3344ae7c1a Cleanup ein keybinding; Add dependencies 2023-03-06 18:27:56 -08:00
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 88cf9e457a ignore custom.el 2023-02-05 01:44:12 -08:00
Leni Ven f2d0130fe0 Use literate config 2023-02-05 01:43:01 -08:00
Leni Ven de0fade40f Fix some hooks for doomemacs config 2023-02-05 01:13:53 -08:00
Leni Ven 5902850bbd Add org mode [, X] key sequence for LaTeX preview 2023-02-02 13:08:34 -08:00
Leni Ven 78d2a552ea Config hotkey cleanup; Add lsp lookup keys 2023-02-01 01:15:03 -08:00
Leni Ven ac09fc699f Enable line number in all buffers 2023-01-30 23:31:40 -08:00
Leni Ven 20746f847d Doomemacs config add some packages 2023-01-30 21:45:43 -08:00
Leni Ven cbb7f9aa03 Doomemacs config reorganisation 2023-01-30 21:25:46 -08:00
Leni Ven 92ceeb37c1 doomemacs smaller font 2023-01-28 00:01:46 -08:00
Leni Ven 27bb7a995e Add key bindings
1. Spacemacs like major mode comma
2. Magit commit mode key bindings
2023-01-27 23:22:17 -08:00
Leni Ven a2306fccd6 Add doomemacs setting
Acked-by: Leni Ven <leniv@stanford.edu>
2023-01-27 23:14:41 -08:00