| Tue, 06 Jun 2023 23:42:47 +0200 | wenzelm | more realistic factor; | changeset | files |
| Tue, 06 Jun 2023 21:02:37 +0200 | wenzelm | proper trim_context; | changeset | files |
| Tue, 06 Jun 2023 15:29:43 +0200 | wenzelm | proper exception positions; | changeset | files |
| Tue, 06 Jun 2023 15:12:40 +0200 | wenzelm | proper trim_context / transfer, e.g. for Specification.definition; | changeset | files |
| Tue, 06 Jun 2023 14:19:53 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jun 2023 11:33:38 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jun 2023 11:26:59 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Tue, 06 Jun 2023 11:07:49 +0200 | wenzelm | minor performance tuning: avoid append to end-of-list; | changeset | files |