# HG changeset patch
# User kleing
# Date 1051545172 -7200
# Node ID b224c2fd4288046419a266b7ad9c824972e713ab
# Parent  0eb3d91b519a47e06a9c0e15b9e3327913477282
in \isanewline: \\ -> \par
fixes "tex capacity exceeded" error for large theories

diff -r 0eb3d91b519a -r b224c2fd4288 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Apr 28 12:01:45 2003 +0200
+++ b/lib/texinputs/isabelle.sty	Mon Apr 28 17:52:52 2003 +0200
@@ -41,7 +41,7 @@
 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
 
 \newcommand{\isaindent}[1]{\hphantom{#1}}
-\newcommand{\isanewline}{\mbox{}\\\mbox{}}
+\newcommand{\isanewline}{\mbox{}\par\mbox{}}
 \newcommand{\isadigit}[1]{#1}
 
 \chardef\isacharbang=`\!