| Tue, 13 Aug 2024 18:31:40 +0200 | wenzelm | clarified signature: less redundant types; | changeset | files |
| Tue, 13 Aug 2024 16:01:05 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 13 Aug 2024 15:50:25 +0200 | wenzelm | unused (see d12c58e12c51); | changeset | files |
| Tue, 13 Aug 2024 15:42:55 +0200 | wenzelm | tuned signature: support more general procedures; | changeset | files |
| Sun, 11 Aug 2024 23:11:03 +0200 | wenzelm | merged | changeset | files |
| Sun, 11 Aug 2024 20:20:05 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Sun, 11 Aug 2024 20:19:47 +0200 | wenzelm | tuned; | changeset | files |