| Thu, 12 Sep 2013 00:34:48 +0200 | blanchet | more (co)data docs | changeset | files |
| Thu, 12 Sep 2013 00:07:46 +0200 | blanchet | avoid a keyword | changeset | files |
| 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 |