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