| Thu, 15 Aug 2024 11:49:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Aug 2024 21:23:22 +0200 | wenzelm | support for congprocs in the Simplifier, closely following Norbert Schirmer et-al, but with only one "simproc" name space and "simproc_setup" command / ML antiquotation; | changeset | files |
| Wed, 14 Aug 2024 18:59:49 +0200 | wenzelm | tuned; | changeset | files |