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.
Attrib.pretty_attrib;
authorwenzelm
Sat, 14 Oct 2006 23:25:51 +0200
changeset 21032 a4b85340d6bd
parent 21031 a56e6d1e56a3
child 21033 82f44ceb4fa3
Attrib.pretty_attrib;
src/Pure/Isar/element.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/element.ML	Sat Oct 14 23:25:50 2006 +0200
+++ b/src/Pure/Isar/element.ML	Sat Oct 14 23:25:51 2006 +0200
@@ -148,7 +148,7 @@
 fun pretty_name_atts ctxt (name, atts) sep =
   if name = "" andalso null atts then []
   else [Pretty.block
-    (Pretty.breaks (Pretty.str name :: Args.pretty_attribs ctxt atts @ [Pretty.str sep]))];
+    (Pretty.breaks (Pretty.str name :: Attrib.pretty_attribs ctxt atts @ [Pretty.str sep]))];
 
 
 (* pretty_stmt *)
@@ -200,7 +200,7 @@
 
     fun prt_fact (ths, []) = map prt_thm ths
       | prt_fact (ths, atts) = Pretty.enclose "(" ")"
-          (Pretty.breaks (map prt_thm ths)) :: Args.pretty_attribs ctxt atts;
+          (Pretty.breaks (map prt_thm ths)) :: Attrib.pretty_attribs ctxt atts;
     fun prt_note (a, ths) =
       Pretty.block (Pretty.breaks (flat (prt_name_atts a "=" :: map prt_fact ths)));
   in
isabelle