author | haftmann |
Thu, 23 Sep 2010 13:28:53 +0200 | |
changeset 39887 | 5096018d5359 |
parent 39886 | 86595d7b59b5 |
child 39888 | 0afaf89ab591 |
1.1 --- a/doc-src/isabelle.sty Thu Sep 23 13:25:01 2010 +0200 1.2 +++ b/doc-src/isabelle.sty Thu Sep 23 13:28:53 2010 +0200 1.3 @@ -46,8 +46,6 @@ 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}}