Commit Graph

59 Commits

Author SHA1 Message Date
Leni Aniva 85412a0282 Merge branch 'emacs' 2023-08-13 20:34:31 -07:00
Leni Aniva d1fafb1d2c Change tabs to 3 in rustfmt 2023-08-13 20:34:25 -07:00
Leni Aniva 8f286468c8 Add epub visual line hook 2023-08-13 20:34:04 -07:00
Leni Aniva 625a333a25 Add rust hook in doomemacs; Remove C-c deletion in latex mode 2023-07-06 20:20:13 -07:00
Leni Ven 6bc5404df6 Move lean4 tab width to `config.el` 2023-05-05 21:18:21 -07:00
Leni Ven 6c8032c3e1 Add Lean 4 indentation hook and IME toggle <f12> 2023-05-03 13:31:08 -07:00
Leni Ven 49c07d1066 Enable pass 2023-04-19 10:41:24 -07:00
Leni Ven e06a195b43 Some cleanup and remove Magit version pin 2023-04-18 01:50:28 -07:00
Leni Ven 0a2138a831 Put banner into its own file and change banner 2023-03-25 00:03:56 -07:00
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
Leni Ven c85c5e1059 Try use pre-redisplay func to fix font issue 2023-01-24 20:09:08 -08:00
Leni Ven 3a8bec25e6 Disable latex fancy symbol rendering; wait for tree sitter in 29 2023-01-24 19:11:48 -08:00
Leni Ven 2d0e67e025 Spacemacs use tabs for LaTeX indent and make it faster 2023-01-18 21:41:43 -08:00
Leni Ven 81eb2a12eb Delete all jit-lock-debug-mode hooks for speed on MacOS; Handle case when org does not load 2023-01-17 23:28:07 -08:00
Leni Ven 275060d707 Add a few layers to spacemacs 2023-01-17 14:05:47 -08:00
Leni Ven f216f7f4c4 Unify spacemacs config style and fix minor issues 2023-01-16 17:21:19 -08:00
Leni Ven d5935f525d Spacemacs: Modify structure and add custom dark/light themes.
Specifically:
1. Separate the face attribute configuration part to `user-init` using theming.
2. Fix some indentation problems in `layers.el`
3. Reorganise code
2023-01-13 21:09:39 -08:00
Leni Ven c01c180946 Some speed optimizations 2023-01-11 11:59:10 -08:00
Leni Ven eb798b6a55 Restructure spacemacs and add macOS version of setup-home 2022-12-14 18:52:44 -05:00
Leni Ven 48ddd656f3 Fix incorrect port forwarding 2022-12-07 22:26:28 -08:00
Leni Ven 55d73a764a Restructure; Separate spacemacs config files 2022-12-07 20:04:44 -08:00
Leni Ven 06a51d7321 Reorganise spacemacs 2022-11-09 21:15:28 -08:00
Leni Ven e5598e416f Switch to PyTorch lightning in jupyter hub 2022-11-06 23:52:55 -08:00
Leni Ven 74b49aab6b update spacemacs 2022-11-06 23:52:35 -08:00
Leni Ven 41531eca21 Add git to spacemacs 2022-06-09 22:09:10 -04:00
Leni Ven d21ff6d5b6 Add coq and fix initial state problem for pdf view mode 2022-05-14 20:57:45 -04:00
Leni Ven c276d912f6 Do not load packages in non-graphical vim, update spacemacs 2022-05-07 14:59:27 -04:00
Stochastica 21d7182630 Change symlink levels for latex image 2021-10-09 00:17:36 -04:00
Stochastica e58b14ab9c Add make to install path of latex docker 2021-09-29 03:13:34 -04:00
Stochastica d493e41dc5 Update config for spacemacs update and optional opam init 2021-09-29 03:13:18 -04:00
Stochastica a93b289cba Add ocaml image and move all images to images/ 2021-02-21 13:07:00 -05:00