Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/method.ML
changeset 56052 4873054cd1fc
parent 56032 b034b9f0fa2a
child 56201 dd2df97b379b 
--- a/src/Pure/Isar/method.ML	Tue Mar 11 13:58:22 2014 +0100
+++ b/src/Pure/Isar/method.ML	Tue Mar 11 14:28:39 2014 +0100
@@ -328,7 +328,7 @@
           Pretty.block
             (Pretty.mark_str name :: Pretty.str ":" :: Pretty.brk 2 :: Pretty.text comment);
   in
-    [Pretty.big_list "methods:" (map prt_meth (Name_Space.extern_table ctxt meths))]
+    [Pretty.big_list "methods:" (map prt_meth (Name_Space.markup_table ctxt meths))]
     |> Pretty.chunks |> Pretty.writeln
   end;
isabelle