| Mon, 24 Sep 2018 20:24:03 +0200 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Mon, 24 Sep 2018 20:05:41 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 24 Sep 2018 19:53:45 +0200 | wenzelm | tuned signature: prefer value-oriented pretty-printing; | changeset | files |
| Mon, 24 Sep 2018 19:43:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 24 Sep 2018 19:34:14 +0200 | wenzelm | tuned signature: prefer value-oriented pretty-printing; | changeset | files |
| Mon, 24 Sep 2018 19:06:56 +0200 | wenzelm | tuned (according to signature); | changeset | files |
| Mon, 24 Sep 2018 15:34:19 +0200 | wenzelm | tuned comments: local context is intended according to 06fd1914b902 and documentation for command 'print_interps'; | changeset | files |
| Mon, 24 Sep 2018 15:31:43 +0200 | wenzelm | misc tuning and modernization; | changeset | files |