| Wed, 03 Apr 2019 23:29:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Apr 2019 21:50:00 +0200 | wenzelm | clarified signature: more explicit operations for corresponding Isar commands; | changeset | files |
| Wed, 03 Apr 2019 21:11:21 +0200 | wenzelm | proper URL; | changeset | files |