Mon, 28 Dec 2015 01:26:34 +0100 | wenzelm | prefer symbols for "abs"; | changeset | files |
Sun, 27 Dec 2015 22:07:17 +0100 | wenzelm | discontinued ASCII replacement syntax <*>; | changeset | files |
Sun, 27 Dec 2015 21:46:36 +0100 | wenzelm | prefer symbols for "floor", "ceiling"; | changeset | files |