doc-src/IsarAdvanced/Classes/classes.tex
changeset 28727 185110a4b97a
parent 28714 1992553cccfe
child 29016 31110b40eae7
     1.1 --- a/doc-src/IsarAdvanced/Classes/classes.tex	Mon Nov 10 08:18:58 2008 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Classes/classes.tex	Mon Nov 10 09:03:28 2008 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4  \newcommand{\qt}[1]{``{#1}''}
     1.5  
     1.6  % verbatim text
     1.7 -\newcommand{\isaverbatim}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
     1.8 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
     1.9  
    1.10  % invisibility
    1.11  \isadroptag{theory}