| Thu, 12 May 2016 10:57:09 +0200 | wenzelm | avoid spurious fact index, notably in "context begin" (via Bundle.context); | changeset | files |
| Thu, 12 May 2016 10:21:59 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 12 May 2016 10:16:52 +0200 | wenzelm | tuned; | changeset | files |