1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Thu Oct 23 16:07:03 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Fri Oct 24 10:41:13 2008 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  %
     1.5  \isataginvisible
     1.6  \isacommand{setup}\isamarkupfalse%
     1.7 -\ {\isacharverbatimopen}\ Code{\isacharunderscore}Target{\isachardot}extend{\isacharunderscore}target\ {\isacharparenleft}{\isachardoublequote}{\isasymSML}{\isachardoublequote}{\isacharcomma}\ {\isacharparenleft}{\isachardoublequote}SML{\isachardoublequote}{\isacharcomma}\ I{\isacharparenright}{\isacharparenright}\ {\isacharverbatimclose}%
     1.8 +\ {\isacharverbatimopen}\ Code{\isacharunderscore}Target{\isachardot}extend{\isacharunderscore}target\ {\isacharparenleft}{\isachardoublequote}{\isasymSML}{\isachardoublequote}{\isacharcomma}\ {\isacharparenleft}{\isachardoublequote}SML{\isachardoublequote}{\isacharcomma}\ K\ I{\isacharparenright}{\isacharparenright}\ {\isacharverbatimclose}%
     1.9  \endisataginvisible
    1.10  {\isafoldinvisible}%
    1.11  %