Wed, 16 May 2018 21:07:12 +0200 | wenzelm | clarified "consolidation" vs. "presentation"; | changeset | files |
Wed, 16 May 2018 21:06:28 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 16 May 2018 15:52:15 +0200 | wenzelm | merged | changeset | files |