changeset 28635 | cc53d2ab0170 |
parent 28601 | b72589374396 |
child 28714 | 1992553cccfe |
1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex Fri Oct 17 10:14:12 2008 +0200 1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Fri Oct 17 10:14:38 2008 +0200 1.3 @@ -7,6 +7,8 @@ 1.4 \usepackage{../../iman,../../extra,../../isar,../../proof} 1.5 \usepackage{../../isabelle,../../isabellesym} 1.6 \usepackage{style} 1.7 +\usepackage{pgf} 1.8 +\usepackage{pgflibraryshapes} 1.9 \usepackage{tikz} 1.10 \usepackage{../../pdfsetup} 1.11