| Wed, 19 Apr 2023 18:21:30 +0000 | haftmann | clarified terminology | changeset | files |
| Wed, 19 Apr 2023 14:48:43 +0200 | wenzelm | minor performance tuning: recursive check of pointer_eq; | changeset | files |
| Wed, 19 Apr 2023 14:29:52 +0200 | wenzelm | minor performance tuning: avoid excessive (de)constructions for base cases; | changeset | files |