# HG changeset patch
# User wenzelm
# Date 960316282 -7200
# Node ID 63d20536971f2a9b916784c2e6f41a7295acbe4d
# Parent  91cbae314c84a863e4c74468e3766779eb7a5888
session.tex: nsert blank lines in order to guarantee new paragraphs
  for each file (otherwise TeX would easily choke on large input);

diff -r 91cbae314c84 -r 63d20536971f src/Pure/Thy/latex.ML
--- a/src/Pure/Thy/latex.ML	Sun Jun 04 21:55:58 2000 +0200
+++ b/src/Pure/Thy/latex.ML	Tue Jun 06 20:31:22 2000 +0200
@@ -104,7 +104,7 @@
 
 val token_source = isabelle_env o output_tokens;
 
-fun theory_entry name = "\\input{" ^ name ^ ".tex}\n";
+fun theory_entry name = "\\input{" ^ name ^ ".tex}\n\n";
 
 
 (* print mode *)