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 = '' |