session.tex: nsert blank lines in order to guarantee new paragraphs
authorwenzelm
Tue Jun 06 20:31:22 2000 +0200 (2000-06-06)
changeset 903863d20536971f
parent 9037 91cbae314c84
child 9039 20ff649a0fd1
session.tex: nsert blank lines in order to guarantee new paragraphs
for each file (otherwise TeX would easily choke on large input);
src/Pure/Thy/latex.ML
     1.1 --- a/src/Pure/Thy/latex.ML	Sun Jun 04 21:55:58 2000 +0200
     1.2 +++ b/src/Pure/Thy/latex.ML	Tue Jun 06 20:31:22 2000 +0200
     1.3 @@ -104,7 +104,7 @@
     1.4  
     1.5  val token_source = isabelle_env o output_tokens;
     1.6  
     1.7 -fun theory_entry name = "\\input{" ^ name ^ ".tex}\n";
     1.8 +fun theory_entry name = "\\input{" ^ name ^ ".tex}\n\n";
     1.9  
    1.10  
    1.11  (* print mode *)