| Fri, 28 Oct 2022 06:34:26 +0000 | haftmann | restructured | changeset | files |
| Fri, 28 Oct 2022 06:34:25 +0000 | haftmann | modulus for polynomials is invariant wrt. units | changeset | files |
| Fri, 28 Oct 2022 13:18:27 +0200 | wenzelm | proper Java syntax (amending ea79c21bcc47); | changeset | files |
| Fri, 28 Oct 2022 13:15:11 +0200 | wenzelm | reactivate emerging tool after release (see 322f2e2799a7); | changeset | files |
| Fri, 28 Oct 2022 12:32:59 +0200 | traytel | separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge) | changeset | files |
| Thu, 27 Oct 2022 12:24:05 +0100 | paulson | merged | changeset | files |
| Thu, 27 Oct 2022 12:23:51 +0100 | paulson | Beautification of some declarations | changeset | files |
| Wed, 26 Oct 2022 21:59:16 +0200 | wenzelm | merged | changeset | files |