Mercurial > 13ws.ds

diff notes/tex/preamble.tex @ 22:dc6b569c57c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fifth slides and sheet
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 18 Nov 2013 23:49:37 +0100
parents 7fed03e118ea
children 4436f8006ebd
line wrap: on
line diff
--- a/notes/tex/preamble.tex	Mon Nov 18 15:20:06 2013 +0100
+++ b/notes/tex/preamble.tex	Mon Nov 18 23:49:37 2013 +0100
@@ -24,6 +24,7 @@
 \usetikzlibrary{shapes}
 \usetikzlibrary{positioning}
 \usetikzlibrary{chains}
+\usetikzlibrary{fit}
 
 \usepackage{amsmath}
 \usepackage{mathdots}
@@ -33,6 +34,10 @@
 \usepackage{csquotes}
 \usepackage{wasysym}
 
+\usepackage[noend]{algpseudocode}
+% Proof trees
+\usepackage{bussproofs}
+
 \usepackage{beamerthemeLEA2}
 
 \newcommand{\N}{\mathbb{N}}