Wed, 19 Feb 2020 20:00:07 +0100 | wenzelm | proper print mode for function_space notation (amending d68b705719ce); | changeset | files |
Wed, 19 Feb 2020 15:40:28 +0100 | wenzelm | proper file name (amending ce3409dfb18c); | changeset | files |
Tue, 18 Feb 2020 18:08:11 +0100 | nipkow | merged | changeset | files |