| Mon, 17 Apr 2017 12:11:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 16:39:01 +0200 | haftmann | more systematic treatment of polynomial 1 | changeset | files |
| Mon, 17 Apr 2017 07:44:21 +0200 | haftmann | consistent session name | changeset | files |