src/Pure/Thy/latex.ML
changeset 9038 63d20536971f
parent 8965 d46b36785c70
child 9135 3aa95ab3f02d
     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 *)