doc-src/IsarAdvanced/Classes/classes.tex
changeset 28540 541366e3c1b3
parent 26911 871cc7f11034
child 28565 519b17118926
     1.1 --- a/doc-src/IsarAdvanced/Classes/classes.tex	Thu Oct 09 09:18:32 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Classes/classes.tex	Thu Oct 09 18:16:07 2008 +0200
     1.3 @@ -10,6 +10,17 @@
     1.4  \usepackage{style}
     1.5  \usepackage{../../pdfsetup}
     1.6  
     1.7 +\newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}
     1.8 +
     1.9 +\makeatletter
    1.10 +
    1.11 +\isakeeptag{quoteme}
    1.12 +\newenvironment{quoteme}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}}
    1.13 +\renewcommand{\isatagquoteme}{\begin{quoteme}}
    1.14 +\renewcommand{\endisatagquoteme}{\end{quoteme}}
    1.15 +
    1.16 +\makeatother
    1.17 +
    1.18  \renewcommand{\isasymlongleftrightarrow}{\isamath{\leftrightarrow}}
    1.19  \renewcommand{\isasymdiv}{\isamath{{}^{-1}}}
    1.20  \renewcommand{\isasymotimes}{\isamath{\circ}}