changeset 42377 | c113db12bf8b |
parent 42376 | c3abf2c3f541 |
child 42378 | d9fe47d21b41 |
--- a/src/Pure/General/markup.ML Sun Apr 17 20:15:46 2011 +0200 +++ b/src/Pure/General/markup.ML Sun Apr 17 20:25:10 2011 +0200 @@ -172,7 +172,7 @@ val (bindingN, binding) = markup_string "binding" nameN; val entityN = "entity"; -fun entity kind name = (entityN, [(kindN, kind), (nameN, name)]); +fun entity kind name = (entityN, [(nameN, name), (kindN, kind)]); val defN = "def"; val refN = "ref";