src/Pure/General/name_space.ML

--- a/src/Pure/General/name_space.ML	Fri Sep 14 17:37:19 2012 +0200
+++ b/src/Pure/General/name_space.ML	Fri Sep 14 18:12:41 2012 +0200
@@ -133,7 +133,7 @@
 
 fun markup (Name_Space {kind, entries, ...}) name =
   (case Symtab.lookup entries name of
-    NONE => Isabelle_Markup.hilite
+    NONE => Isabelle_Markup.intensify
   | SOME (_, entry) => entry_markup false kind (name, entry));
 
 fun is_concealed space name = #concealed (the_entry space name);