# HG changeset patch
# User haftmann
# Date 1224231663 -7200
# Node ID d5342d4c736073de33a844180717f787f370b174
# Parent  cc53d2ab01704b11b792c5547351c041ef424c25
tuned

diff -r cc53d2ab0170 -r d5342d4c7360 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}