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/proof_context.ML
changeset 17384 c01de5939f5b
parent 17360 fa1f262dbc4e
child 17412 e26cb20ef0cc 
--- a/src/Pure/Isar/proof_context.ML	Wed Sep 14 22:04:34 2005 +0200
+++ b/src/Pure/Isar/proof_context.ML	Wed Sep 14 22:04:35 2005 +0200
@@ -1401,7 +1401,7 @@
 
     (*theory*)
     val pretty_thy = Pretty.block
-      [Pretty.str "Theory:", Pretty.brk 1, Context.pretty_thy (theory_of ctxt)];  (* FIXME lowercase *)
+      [Pretty.str "theory:", Pretty.brk 1, Context.pretty_thy (theory_of ctxt)];
 
     (*defaults*)
     fun prt_atom prt prtT (x, X) = Pretty.block
isabelle