| Fri, 23 Aug 2024 20:45:54 +0200 | wenzelm | more concrete syntax and more checks; | changeset | files |
| Fri, 23 Aug 2024 20:21:04 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Fri, 23 Aug 2024 18:38:44 +0200 | wenzelm | support for syntax const dependencies, with minimal integrity checks; | changeset | files |