| 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 |
| Fri, 03 Dec 2010 22:40:26 +0100 | haftmann | merged | changeset | files |
| Fri, 03 Dec 2010 14:46:58 +0100 | haftmann | conventional point-free characterization of rsp_fold | changeset | files |
| Fri, 03 Dec 2010 14:39:15 +0100 | haftmann | replaced memb by existing List.member | changeset | files |