| Wed, 22 Jun 2022 08:15:14 +0000 | haftmann | Avoid calculations where not necessary. | changeset | files |
| Wed, 22 Jun 2022 08:15:12 +0000 | haftmann | Prefer existing horner sum combinator. | changeset | files |
| Wed, 22 Jun 2022 08:15:10 +0000 | haftmann | Executable lexords. | changeset | files |
| Wed, 22 Jun 2022 08:15:09 +0000 | haftmann | Less warnings. | changeset | files |
| Wed, 22 Jun 2022 17:07:00 +0200 | wenzelm | merged | changeset | files |
| Wed, 22 Jun 2022 16:54:30 +0200 | wenzelm | more operations; | changeset | files |
| Wed, 22 Jun 2022 16:25:22 +0200 | wenzelm | removed unused operations; | changeset | files |
| Wed, 22 Jun 2022 16:24:57 +0200 | wenzelm | clarified signature: more operations; | changeset | files |