| Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | changeset | files |
| Fri, 24 Sep 2021 11:04:18 +0000 | haftmann | apply declarations from interpretations in eigen context also | changeset | files |
| Fri, 24 Sep 2021 13:40:14 +0200 | wenzelm | grant access to sun.tools.jconsole, as required for Java 17; | changeset | files |
| Fri, 24 Sep 2021 12:53:11 +0200 | wenzelm | update to e-2.6, following Martin Desharnais; | changeset | files |