diff options
| -rw-r--r-- | preamble.tex | 2 | ||||
| -rw-r--r-- | shell.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/preamble.tex b/preamble.tex index 84f87fc..d602be5 100644 --- a/preamble.tex +++ b/preamble.tex | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | \usepackage{amsmath} | 3 | \usepackage{amsmath} |
| 4 | \usepackage{bussproofs} | 4 | \usepackage{bussproofs} |
| 5 | \usepackage{tikz} | 5 | \usepackage{tikz} |
| 6 | \usepackage{tikz-qtree,tikz-qtree-compat} | 6 | \usepackage{tikz-qtree,tikz-qtree-compat,circuitikz} |
| 7 | 7 | ||
| 8 | \renewcommand{\algorithmicrequire}{\textbf{Input:}} | 8 | \renewcommand{\algorithmicrequire}{\textbf{Input:}} |
| 9 | \renewcommand{\algorithmicensure}{\textbf{Output:}} | 9 | \renewcommand{\algorithmicensure}{\textbf{Output:}} |
| @@ -14,7 +14,7 @@ pkgs.stdenv.mkDerivation rec { | |||
| 14 | with p; [ yesod yesod-bin pandoc monad-par persistent-sqlite | 14 | with p; [ yesod yesod-bin pandoc monad-par persistent-sqlite |
| 15 | ])) | 15 | ])) |
| 16 | (pkgs.texlive.combine { | 16 | (pkgs.texlive.combine { |
| 17 | inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms tikz-qtree; | 17 | inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms tikz-qtree circuitikz; |
| 18 | }) | 18 | }) |
| 19 | ]; | 19 | ]; |
| 20 | shellHook = '' | 20 | shellHook = '' |
