1.1 --- a/doc-src/IsarAdvanced/Classes/classes.tex	Wed Feb 14 10:06:12 2007 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Classes/classes.tex	Wed Feb 14 10:06:13 2007 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4  
     1.5  \documentclass[12pt,a4paper,fleqn]{report}
     1.6  \usepackage{latexsym,graphicx}
     1.7 +\usepackage{listings}
     1.8  \usepackage[refpage]{nomencl}
     1.9  \usepackage{../../iman,../../extra,../../isar,../../proof}
    1.10  \usepackage{Thy/document/isabelle,Thy/document/isabellesym}
    1.11 @@ -38,6 +39,10 @@
    1.12  \newcommand{\strong}[1]{{\bfseries #1}}
    1.13  \newcommand{\fixme}[1][!]{\strong{FIXME: #1}}
    1.14  
    1.15 +\lstset{basicstyle=\scriptsize\ttfamily,keywordstyle=\itshape,commentstyle=\itshape\sffamily,frame=single}
    1.16 +\newcommand{\lstsml}[1]{\lstset{language=ML}\lstinputlisting{#1}}
    1.17 +\newcommand{\lsthaskell}[1]{\lstset{language=Haskell}\lstinputlisting{#1}}
    1.18 +
    1.19  \hyphenation{Isabelle}
    1.20  \hyphenation{Isar}
    1.21