lib/texinputs/isabelle.sty
changeset 14345 3023d90dc59e
parent 14332 fd3535af90ab
child 14347 1fff56703e29
     1.1 --- a/lib/texinputs/isabelle.sty	Thu Jan 08 04:32:52 2004 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Jan 08 08:14:00 2004 +0100
     1.3 @@ -52,6 +52,7 @@
     1.4  
     1.5  \newcommand{\isaindent}[1]{\hphantom{#1}}
     1.6  \newcommand{\isanewline}{\mbox{}\par\mbox{}}
     1.7 +\newcommand{\isasep}{\vspace*{2cm}}
     1.8  \newcommand{\isadigit}[1]{#1}
     1.9  
    1.10  \chardef\isacharbang=`\!