| Mon, 02 Sep 2019 19:44:12 +0200 | wenzelm | more explicit type Dump.Session, with context information; | changeset | files |
| Mon, 02 Sep 2019 16:28:09 +0200 | wenzelm | proper orientation; | changeset | files |
| Mon, 02 Sep 2019 11:46:27 +0200 | wenzelm | clarified signature: prefer operations without position; | changeset | files |