equal
deleted
inserted
replaced
|
1 \documentclass{article} |
|
2 \usepackage{../style} |
|
3 \usepackage{../langs} |
|
4 |
|
5 \usepackage{xcolor} |
|
6 \usepackage{tikz} |
|
7 \usetikzlibrary{arrows} |
|
8 \usetikzlibrary{automata} |
|
9 \usetikzlibrary{shapes} |
|
10 \usetikzlibrary{shadows} |
|
11 \usetikzlibrary{positioning} |
|
12 \usetikzlibrary{calc} |
|
13 \usetikzlibrary{fit} |
|
14 \usetikzlibrary{backgrounds} |
|
15 |
|
16 |
|
17 \begin{document} |
|
18 |
|
19 \section*{Handout 4} |
|
20 |
|
21 Algorithm by Sulzmann, Lexing |
|
22 |
|
23 \end{document} |
|
24 |
|
25 %%% Local Variables: |
|
26 %%% mode: latex |
|
27 %%% TeX-master: t |
|
28 %%% End: |