1.1 --- a/doc-src/IsarAdvanced/Codegen/style.sty	Mon Dec 15 07:41:07 2008 +0000
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/style.sty	Mon Dec 15 09:58:44 2008 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4  
     1.5  \pagestyle{headings}
     1.6  \binperiod
     1.7 -\underscoreon
     1.8 +\underscoreoff
     1.9  
    1.10  \renewcommand{\isadigit}[1]{\isamath{#1}}
    1.11