Thu, 21 Sep 2017 15:37:01 +0200 | wenzelm | updated screenshots; | changeset | files |
Thu, 21 Sep 2017 13:21:36 +0200 | wenzelm | misc tuning and updates for release; | changeset | files |
Thu, 21 Sep 2017 12:47:16 +0200 | wenzelm | avoid duplicate message for @{action} in particular (see also @{action} within Pure); | changeset | files |