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/display.ML
changeset 11501 3b6415035d1a
parent 10737 c130eb1e863f
child 11883 7b9522995a78 
--- a/src/Pure/display.ML	Fri Aug 10 10:25:45 2001 +0200
+++ b/src/Pure/display.ML	Wed Aug 15 22:20:30 2001 +0200
@@ -211,7 +211,7 @@
   in
     [Pretty.strs ("stamps:" :: Sign.stamp_names_of sg),
       Pretty.strs ("data:" :: Sign.data_kinds data),
-      Pretty.strs ["name prefix:", NameSpace.pack path],
+      Pretty.strs ["name prefix:", NameSpace.pack (if_none path ["-"])],
       Pretty.big_list "name spaces:" (map pretty_name_space spaces'),
       pretty_classes classes,
       Pretty.big_list "class relation:" (map pretty_classrel (Symtab.dest classrel)),
isabelle