Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
session.tex: nsert blank lines in order to guarantee new paragraphs
authorwenzelm
Tue, 06 Jun 2000 20:31:22 +0200
changeset 9038 63d20536971f
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 file | annotate | diff | comparison | revisions 
--- 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 *)
isabelle