Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more detailed inner token markup;
authorwenzelm
Fri, 02 Jan 2009 19:38:14 +0100
changeset 29319 592503fd6dad
parent 29318 6337d1cb2ba0
child 29320 ee08a739ad52
more detailed inner token markup;
src/Pure/Thy/thy_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_syntax.ML	Fri Jan 02 19:38:13 2009 +0100
+++ b/src/Pure/Thy/thy_syntax.ML	Fri Jan 02 19:38:14 2009 +0100
@@ -58,9 +58,9 @@
   | T.Ident         => Markup.ident
   | T.LongIdent     => Markup.ident
   | T.SymIdent      => Markup.ident
-  | T.Var           => Markup.ident
-  | T.TypeIdent     => Markup.ident
-  | T.TypeVar       => Markup.ident
+  | T.Var           => Markup.var
+  | T.TypeIdent     => Markup.tfree
+  | T.TypeVar       => Markup.tvar
   | T.Nat           => Markup.ident
   | T.String        => Markup.string
   | T.AltString     => Markup.altstring
isabelle