tuned
authorhaftmann
Fri Oct 17 10:21:03 2008 +0200 (2008-10-17)
changeset 28636d5342d4c7360
parent 28635 cc53d2ab0170
child 28637 7aabaf1ba263
tuned
doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex	Fri Oct 17 10:14:38 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Introduction.tex	Fri Oct 17 10:21:03 2008 +0200
     1.3 @@ -298,7 +298,7 @@
     1.4        \node (seri) at (1, 0) [style=process] {serialisation};
     1.5        \node (SML) at (0, 3) [style=entity] {\isa{SML}};
     1.6        \node (OCaml) at (0, 2) [style=entity] {\isa{OCaml}};
     1.7 -      \node (further) at (0, 1) [style=entity] {\isa{{\isacharquery}}};
     1.8 +      \node (further) at (0, 1) [style=entity] {\isa{{\isasymdots}}};
     1.9        \node (Haskell) at (0, 0) [style=entity] {\isa{Haskell}};
    1.10        \draw [style=process_arrow] (HOL) .. controls (2, 4) ..
    1.11          node [style=process, near start] {selection}