| Fri, 24 Oct 2014 11:30:39 +0200 | wenzelm | discontinued python from standard system environment; | changeset | files |
| Fri, 24 Oct 2014 11:05:19 +0200 | wenzelm | more generous default; | changeset | files |
| Thu, 23 Oct 2014 19:40:41 +0200 | haftmann | even further downshift of theory Parity in the hierarchy | changeset | files |