lib/texinputs/isabelle.sty
changeset 39538 5aced2f43837
parent 29145 b1c6f4563df7
child 39662 86595d7b59b5
     1.1 --- a/lib/texinputs/isabelle.sty	Mon Sep 20 08:53:37 2010 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Mon Sep 20 09:19:13 2010 +0200
     1.3 @@ -46,6 +46,8 @@
     1.4  {\begin{trivlist}\begin{isabellebody}\item\relax}
     1.5  {\end{isabellebody}\end{trivlist}}
     1.6  
     1.7 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
     1.8 +
     1.9  \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    1.10  
    1.11  \newcommand{\isaindent}[1]{\hphantom{#1}}