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/Thy/thy_syntax.ML
changeset 37193 a4b2bb0dab08
parent 37192 8cdddd689ea9
child 37197 953fc4983439 
--- a/src/Pure/Thy/thy_syntax.ML	Sun May 30 14:14:30 2010 +0200
+++ b/src/Pure/Thy/thy_syntax.ML	Sun May 30 14:21:35 2010 +0200
@@ -47,8 +47,8 @@
 local
 
 val token_kind_markup =
- fn Token.Command       => (Markup.commandN, [])
-  | Token.Keyword       => (Markup.keywordN, [])
+ fn Token.Command       => Markup.command
+  | Token.Keyword       => Markup.keyword
   | Token.Ident         => Markup.ident
   | Token.LongIdent     => Markup.ident
   | Token.SymIdent      => Markup.ident
isabelle