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.
isabellesimple: avoid paragraph;
authorwenzelm
Mon, 10 Jan 2000 17:08:41 +0100
changeset 8117 0a6173c9b2d0
parent 8116 759f712f8f06
child 8118 746c5cf09bde
isabellesimple: avoid paragraph;
src/Pure/Thy/latex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/latex.ML	Mon Jan 10 16:07:29 2000 +0100
+++ b/src/Pure/Thy/latex.ML	Mon Jan 10 17:08:41 2000 +0100
@@ -87,7 +87,7 @@
 (* theory presentation *)
 
 fun token_source toks =
-  "\\begin{isabellesimple}\n" ^ output_tokens toks ^ "\\end{isabellesimple}\n";
+  "\\begin{isabellesimple}%\n" ^ output_tokens toks ^ "\\end{isabellesimple}\n";
 
 fun theory_entry name = "\\input{" ^ name ^ ".tex}\n";
isabelle