Thu, 18 May 2023 17:21:29 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
Thu, 18 May 2023 15:34:01 +0200 | wenzelm | clarified data: avoid pointless Morphism.transform; | changeset | files |
Thu, 18 May 2023 14:06:35 +0200 | wenzelm | proper Token.Declaration for internal_declaration; | changeset | files |