# HG changeset patch
# User wenzelm
# Date 947520521 -3600
# Node ID 0a6173c9b2d02e45ce8d983ae46d44b6c3212dd0
# Parent  759f712f8f061bda27096fd682211401f6278545
isabellesimple: avoid paragraph;

diff -r 759f712f8f06 -r 0a6173c9b2d0 src/Pure/Thy/latex.ML
--- 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";