--- a/doc-src/IsarAdvanced/Classes/classes.tex Wed Feb 14 10:06:12 2007 +0100
+++ b/doc-src/IsarAdvanced/Classes/classes.tex Wed Feb 14 10:06:13 2007 +0100
@@ -3,6 +3,7 @@
\documentclass[12pt,a4paper,fleqn]{report}
\usepackage{latexsym,graphicx}
+\usepackage{listings}
\usepackage[refpage]{nomencl}
\usepackage{../../iman,../../extra,../../isar,../../proof}
\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
@@ -38,6 +39,10 @@
\newcommand{\strong}[1]{{\bfseries #1}}
\newcommand{\fixme}[1][!]{\strong{FIXME: #1}}
+\lstset{basicstyle=\scriptsize\ttfamily,keywordstyle=\itshape,commentstyle=\itshape\sffamily,frame=single}
+\newcommand{\lstsml}[1]{\lstset{language=ML}\lstinputlisting{#1}}
+\newcommand{\lsthaskell}[1]{\lstset{language=Haskell}\lstinputlisting{#1}}
+
\hyphenation{Isabelle}
\hyphenation{Isar}