| Tue, 24 Sep 2024 17:57:42 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 24 Sep 2024 17:41:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:35:24 +0200 | wenzelm | minor performance tuning: more direct blocks without markup; | changeset | files |
| Tue, 24 Sep 2024 17:31:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:27:56 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 23 Sep 2024 22:33:37 +0200 | wenzelm | proper 'no_syntax' (amending 8e72f55295fd); | changeset | files |
| Mon, 23 Sep 2024 21:09:23 +0200 | wenzelm | more inner syntax markup: HOL; | changeset | files |
| Mon, 23 Sep 2024 15:01:10 +0200 | wenzelm | misc tuning and clarification; | changeset | files |