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/token.ML
changeset 55750 baa7a1e57f4a
parent 55745 b865c3035d5c
child 55788 67699e08e969 
--- a/src/Pure/Isar/token.ML	Tue Feb 25 20:57:57 2014 +0100
+++ b/src/Pure/Isar/token.ML	Tue Feb 25 21:32:26 2014 +0100
@@ -220,7 +220,7 @@
 local
 
 val token_kind_markup =
- fn Command       => (Markup.keyword1, "")
+ fn Command       => (Markup.command, "")
   | Keyword       => (Markup.keyword2, "")
   | Ident         => (Markup.empty, "")
   | LongIdent     => (Markup.empty, "")
isabelle