Fri, 06 Dec 2019 11:43:29 +0100 | wenzelm | clarified modules; | changeset | files |
Fri, 06 Dec 2019 11:36:20 +0100 | wenzelm | misc tuning and clarification: proper check of datatype kind; | changeset | files |
Fri, 06 Dec 2019 11:12:55 +0100 | wenzelm | clarified modules; | changeset | files |