# HG changeset patch
# User wenzelm
# Date 1125496008 -7200
# Node ID 2ae243868a623e693eb3fc42f9937a3c9e34bb40
# Parent  49bc1bdc7b6e1f60145d4a5f94a77de4df3c258e
added line break for 'uses';

diff -r 49bc1bdc7b6e -r 2ae243868a62 src/Pure/Thy/html.ML
--- a/src/Pure/Thy/html.ML	Wed Aug 31 15:46:47 2005 +0200
+++ b/src/Pure/Thy/html.ML	Wed Aug 31 15:46:48 2005 +0200
@@ -380,7 +380,7 @@
   fun imports Bs =
     keyword "imports" ^ " " ^ space_implode " " (map (uncurry href_opt_path o apsnd name) Bs);
 
-  fun uses Ps = keyword "uses" ^ " " ^ space_implode " " (map file Ps);
+  fun uses Ps = keyword "uses" ^ " " ^ space_implode " " (map file Ps) ^ "<br>\n";
 in
 
 fun begin_theory up A Bs Ps body =