Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
using tikz pictures
authorhaftmann
Fri, 10 Oct 2008 06:45:49 +0200
changeset 28560 625e44455f52
parent 28559 55c003a5600a
child 28561 056255ade52a
using tikz pictures
doc-src/IsarAdvanced/Codegen/codegen.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Oct 10 06:45:48 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Oct 10 06:45:49 2008 +0200
@@ -8,6 +8,7 @@
 \usepackage{../../iman,../../extra,../../isar,../../proof}
 \usepackage{../../isabelle,../../isabellesym}
 \usepackage{style}
+\usepackage{tikz}
 \usepackage{../../pdfsetup}
 
 \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}
isabelle