in \isanewline: \\ -> \par
authorkleing
Mon Apr 28 17:52:52 2003 +0200 (2003-04-28)
changeset 13933b224c2fd4288
parent 13932 0eb3d91b519a
child 13934 8c23dea4648e
in \isanewline: \\ -> \par
fixes "tex capacity exceeded" error for large theories
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Mon Apr 28 12:01:45 2003 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Mon Apr 28 17:52:52 2003 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
     1.5  
     1.6  \newcommand{\isaindent}[1]{\hphantom{#1}}
     1.7 -\newcommand{\isanewline}{\mbox{}\\\mbox{}}
     1.8 +\newcommand{\isanewline}{\mbox{}\par\mbox{}}
     1.9  \newcommand{\isadigit}[1]{#1}
    1.10  
    1.11  \chardef\isacharbang=`\!