diff options
author | Griffin Smith <grfn@gws.fyi> | 2021-06-16T14·46-0400 |
---|---|---|
committer | grfn <grfn@gws.fyi> | 2021-06-16T14·51+0000 |
commit | 99d3a24ac951c166dc2b187e9d355d7d035b0cb9 (patch) | |
tree | a806ddd71dda1ebf1a549f333f4bfb664e23c608 /users/grfn | |
parent | 1a4465d7d3726e61cf95c6455330f779d760f5db (diff) |
feat(gs/home): Install a bunch of new latex packages r/2666
I'm typesetting a type system! `semantic` is the big winner here, but also `mathpartir` is nice Change-Id: I27ee91d30e0fe680377ce48f7539553fd0707684 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3212 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn')
-rw-r--r-- | users/grfn/system/home/modules/emacs.nix | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/users/grfn/system/home/modules/emacs.nix b/users/grfn/system/home/modules/emacs.nix index 7f65500a982a..6cc38bc7ab05 100644 --- a/users/grfn/system/home/modules/emacs.nix +++ b/users/grfn/system/home/modules/emacs.nix @@ -29,9 +29,25 @@ in { # LaTeX (for org export) (pkgs.texlive.combine { inherit (pkgs.texlive) - scheme-basic collection-fontsrecommended ulem - fncychap titlesec tabulary varwidth framed fancyvrb float parskip - wrapfig upquote capt-of needspace; + capt-of + collection-fontsrecommended + dvipng + fancyvrb + float + fncychap + framed + mathpartir + needspace + parskip + scheme-basic + semantic + tabulary + titlesec + ulem + upquote + varwidth + wrapfig + ; }) ispell |