| 2010-12-04 | wenzelm | eliminated obsolete Token.Malformed -- subsumed by Token.Error; | changeset | files |
| 2010-12-04 | 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 |
| 2010-12-04 | wenzelm | added Syntax.pretty_priority; | changeset | files |
| 2010-12-03 | haftmann | merged | changeset | files |
| 2010-12-03 | haftmann | conventional point-free characterization of rsp_fold | changeset | files |
| 2010-12-03 | haftmann | replaced memb by existing List.member | changeset | files |
| 2010-12-03 | haftmann | explicit type constraint; | changeset | files |
| Loading... | |||