| Sat, 05 Jan 2013 17:24:27 +0100 | wenzelm | more direct property names; | changeset | files |
| Sat, 05 Jan 2013 16:16:22 +0100 | wenzelm | tuned -- less indirection; | changeset | files |
| Sat, 05 Jan 2013 11:24:09 +0100 | blanchet | tuned blacklisting in relevance filter | changeset | files |
| Fri, 04 Jan 2013 21:56:20 +0100 | blanchet | refined class handling, to prevent cycles in fact graph | changeset | files |