| Fri, 28 Apr 2017 18:52:31 +0200 | wenzelm | tuned transaction granularity; | changeset | files |
| Fri, 28 Apr 2017 18:24:58 +0200 | wenzelm | unused; | changeset | files |
| Fri, 28 Apr 2017 18:23:39 +0200 | wenzelm | clarified database layout; | changeset | files |
| Fri, 28 Apr 2017 18:11:40 +0200 | wenzelm | tuned signature: avoid null in regular Scala code; | changeset | files |