| Fri, 16 Mar 2018 16:44:14 +0100 | wenzelm | interruptible exploration of dependencies; | changeset | files |
| Fri, 16 Mar 2018 16:38:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 16 Mar 2018 16:28:03 +0100 | wenzelm | clarified signature; | changeset | files |