| Tue, 11 Apr 2023 09:54:46 +0200 | wenzelm | unused (see 34dd96a06c45); | changeset | files |
| Tue, 11 Apr 2023 09:49:30 +0200 | wenzelm | more compact data: approx. 75% .. 85% of AList size; | changeset | files |
| Tue, 11 Apr 2023 09:01:09 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | changeset | files |
| Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | changeset | files |
| Mon, 10 Apr 2023 23:21:47 +0200 | wenzelm | more NEWS; | changeset | files |
| Mon, 10 Apr 2023 23:11:04 +0200 | wenzelm | clarified NEWS; | changeset | files |