| Mon, 05 Oct 2015 18:03:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 05 Oct 2015 14:17:20 +0200 | wenzelm | produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking; | changeset | files |
| Mon, 05 Oct 2015 16:14:33 +0200 | blanchet | avoid too aggressive optimization of 'finite' predicate | changeset | files |