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 |
Mon, 24 Sep 2018 15:20:21 +0200 | wenzelm | more position information; | changeset | files |
Mon, 24 Sep 2018 14:58:15 +0200 | wenzelm | clarified message; | changeset | files |
Mon, 24 Sep 2018 13:01:25 +0200 | wenzelm | tuned signature: more explicit types; | changeset | files |