| Sat, 04 Dec 2010 15:14:28 +0100 | wenzelm | eliminated obsolete Token.Malformed -- subsumed by Token.Error; | changeset | files |
| Sat, 04 Dec 2010 14:59:25 +0100 | wenzelm | tuned @{datatype} using Syntax.pretty_priority (NB: postfix type application yields Syntax.max_pri, so arguments in prefix application require higher priority); | changeset | files |
| Sat, 04 Dec 2010 14:57:04 +0100 | wenzelm | added Syntax.pretty_priority; | changeset | files |