| Sun, 25 Feb 2018 19:16:32 +0100 | wenzelm | allow multiple entries of and_list (on both sides); | changeset | files |
| Sun, 25 Feb 2018 15:44:46 +0100 | wenzelm | eliminated ASCII syntax from Pure bootstrap; | changeset | files |
| Sun, 25 Feb 2018 12:55:07 +0000 | paulson | merged | changeset | files |