| Wed, 11 Oct 2017 20:46:38 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Oct 2017 20:16:00 +0200 | wenzelm | added isablle build option -f; | changeset | files |
| Mon, 09 Oct 2017 19:10:52 +0200 | haftmann | canonical multiplicative euclidean size | changeset | files |