1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 15 16:06:59 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 15 16:25:31 2008 +0200
     1.3 @@ -41,6 +41,9 @@
     1.4  \renewcommand{\isatagquotett}{\begin{quotesegment}\isabellestyle{tt}\isastyle}
     1.5  \renewcommand{\endisatagquotett}{\end{quotesegment}\isabellestyle{it}\isastyle}
     1.6  
     1.7 +% hack
     1.8 +\newcommand{\isasymSML}{SML}
     1.9 +
    1.10  
    1.11  %% contents
    1.12