f216f7f4c4
Unify spacemacs config style and fix minor issues
2023-01-16 17:21:19 -08:00
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
c01c180946
Some speed optimizations
2023-01-11 11:59:10 -08:00
eb798b6a55
Restructure spacemacs and add macOS version of setup-home
2022-12-14 18:52:44 -05:00
55d73a764a
Restructure; Separate spacemacs config files
2022-12-07 20:04:44 -08:00
06a51d7321
Reorganise spacemacs
2022-11-09 21:15:28 -08:00
74b49aab6b
update spacemacs
2022-11-06 23:52:35 -08:00
41531eca21
Add git to spacemacs
2022-06-09 22:09:10 -04:00
d21ff6d5b6
Add coq and fix initial state problem for pdf view mode
2022-05-14 20:57:45 -04:00
c276d912f6
Do not load packages in non-graphical vim, update spacemacs
2022-05-07 14:59:27 -04:00
d493e41dc5
Update config for spacemacs update and optional opam init
2021-09-29 03:13:18 -04:00
5d2d7bc030
Add OCaml support; C++ format update
2021-02-21 12:11:26 -05:00
0afd2858f2
Add astylerc and more layers to spacemacs
2021-02-01 01:00:12 -05:00
6d8d7cddc1
Fix config problems; Add spacemacs transparency
2021-01-26 23:33:12 -05:00
0a7e75655e
Add bin directory and spacemacs for PDF and latex
2021-01-21 23:19:25 -05:00
80259d0d08
Add spacemacs and IPython script
2021-01-16 23:28:18 -05:00
Leni Ven
Leni Ven