1.1 --- a/doc-src/Classes/style.sty Mon Sep 20 08:53:37 2010 +0200
1.2 +++ b/doc-src/Classes/style.sty Mon Sep 20 09:19:13 2010 +0200
1.3 @@ -17,9 +17,6 @@
1.4 %% typographic conventions
1.5 \newcommand{\qt}[1]{``{#1}''}
1.6
1.7 -%% verbatim text
1.8 -\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
1.9 -
1.10 %% quote environment
1.11 \isakeeptag{quote}
1.12 \renewenvironment{quote}
2.1 --- a/doc-src/Codegen/style.sty Mon Sep 20 08:53:37 2010 +0200
2.2 +++ b/doc-src/Codegen/style.sty Mon Sep 20 09:19:13 2010 +0200
2.3 @@ -17,9 +17,6 @@
2.4 \newcommand{\qt}[1]{``{#1}''}
2.5 \newcommand{\ditem}[1]{\item[\isastyletext #1]}
2.6
2.7 -%% verbatim text
2.8 -\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
2.9 -
2.10 %% quote environment
2.11 \isakeeptag{quote}
2.12 \renewenvironment{quote}
3.1 --- a/lib/texinputs/isabelle.sty Mon Sep 20 08:53:37 2010 +0200
3.2 +++ b/lib/texinputs/isabelle.sty Mon Sep 20 09:19:13 2010 +0200
3.3 @@ -46,6 +46,8 @@
3.4 {\begin{trivlist}\begin{isabellebody}\item\relax}
3.5 {\end{isabellebody}\end{trivlist}}
3.6
3.7 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
3.8 +
3.9 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
3.10
3.11 \newcommand{\isaindent}[1]{\hphantom{#1}}