\\isatypewrite now part of isabelle latex style
authorhaftmann
Mon Sep 20 09:19:13 2010 +0200 (2010-09-20)
changeset 395385aced2f43837
parent 39537 41afe7124aa6
child 39539 90a74f43174d
\\isatypewrite now part of isabelle latex style
doc-src/Classes/style.sty
doc-src/Codegen/style.sty
lib/texinputs/isabelle.sty
     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}}