| Sat, 28 Sep 2024 23:23:30 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 28 Sep 2024 21:16:01 +0200 | wenzelm | clarified signature: more explicit type "output"; | changeset | files |
| Sat, 28 Sep 2024 20:28:11 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 28 Sep 2024 17:11:51 +0200 | wenzelm | tuned: more uniform; | changeset | files |
| Sat, 28 Sep 2024 16:58:04 +0200 | wenzelm | tuned: more uniform; | changeset | files |
| Sat, 28 Sep 2024 16:19:53 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Sep 2024 16:11:30 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Sat, 28 Sep 2024 16:07:46 +0200 | wenzelm | tuned; | changeset | files |