| Thu, 24 May 2018 21:21:26 +0200 | wenzelm | tuned output; | changeset | files |
| Thu, 24 May 2018 21:13:09 +0200 | wenzelm | more general cache, also for term substructures; | changeset | files |
| Thu, 24 May 2018 16:56:14 +0200 | wenzelm | more exports; | changeset | files |
| Thu, 24 May 2018 17:06:39 +0200 | immler | generalized Cramer's rule | changeset | files |