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