Thu, 20 Sep 2018 23:05:18 +0200 | wenzelm | merged | changeset | files |
Thu, 20 Sep 2018 22:39:39 +0200 | wenzelm | clarified standardization of variables, with proper treatment of local variables; | changeset | files |
Thu, 20 Sep 2018 18:20:02 +0100 | paulson | removal of more redundancies, and fixes | changeset | files |