| 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 |
| Fri, 03 Dec 2010 22:40:26 +0100 | haftmann | merged | changeset | files |