Commit Graph

9 Commits

Author SHA1 Message Date
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 d493e41dc5 Update config for spacemacs update and optional opam init 2021-09-29 03:13:18 -04:00
Stochastica 5d2d7bc030 Add OCaml support; C++ format update 2021-02-21 12:11:26 -05:00
Stochastica 0afd2858f2 Add astylerc and more layers to spacemacs 2021-02-01 01:00:12 -05:00
Stochastica 6d8d7cddc1 Fix config problems; Add spacemacs transparency 2021-01-26 23:33:12 -05:00
Stochastica 0a7e75655e Add bin directory and spacemacs for PDF and latex 2021-01-21 23:19:25 -05:00
Stochastica 80259d0d08 Add spacemacs and IPython script 2021-01-16 23:28:18 -05:00