| Wed, 11 Sep 2013 23:55:47 +0200 | blanchet | more (co)datatype docs | changeset | files |
| Wed, 11 Sep 2013 22:20:45 +0200 | blanchet | killed dead code | changeset | files |
| Wed, 11 Sep 2013 22:20:45 +0200 | blanchet | get rid of another complication in relevance filter | changeset | files |
| Wed, 11 Sep 2013 22:20:44 +0200 | blanchet | tuning | changeset | files |
| Wed, 11 Sep 2013 22:20:43 +0200 | blanchet | renamed config option | changeset | files |
| Wed, 11 Sep 2013 18:52:30 +0200 | haftmann | more correct NEWS | changeset | files |
| Wed, 11 Sep 2013 18:38:23 +0200 | blanchet | kick out totally hopeless facts after 5 iterations to speed things up | changeset | files |
| 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 |
| Wed, 11 Sep 2013 15:30:12 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 11 Sep 2013 15:25:51 +0200 | wenzelm | tuned message; | changeset | files |