| Wed, 11 Sep 2013 18:37:47 +0200 | blanchet | reintroduced 8d8f72aa5c0b, which does make a small difference in practice, but implemented more efficiently | changeset | files |
| Wed, 11 Sep 2013 18:32:43 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 17:17:58 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 16:55:01 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 16:16:45 +0200 | wenzelm | merged | changeset | files |
| Wed, 11 Sep 2013 15:54:53 +0200 | wenzelm | prefer explicit type constraint (again, see also Type.appl_error); | changeset | files |
| Wed, 11 Sep 2013 15:42:05 +0200 | wenzelm | tuned signature; | changeset | files |