| Sun, 26 Mar 2023 12:53:53 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sun, 26 Mar 2023 12:46:15 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sun, 26 Mar 2023 12:41:34 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | More explicit type information in dictionary arguments. | changeset | files |
| Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | tuned | changeset | files |
| Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | tuned whitespace | changeset | files |
| Fri, 24 Mar 2023 18:30:17 +0000 | haftmann | more uniform approach towards satisfied applications | changeset | files |