| Tue, 27 Sep 2022 13:34:54 +0200 | wenzelm | clarified options; | changeset | files |
| Mon, 26 Sep 2022 20:40:37 +0200 | wenzelm | merged | changeset | files |
| Mon, 26 Sep 2022 20:40:19 +0200 | wenzelm | provide missing LaTeX macro, e.g. for AFP/PAC_Checker; | changeset | files |
| Mon, 26 Sep 2022 11:30:44 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 26 Sep 2022 08:41:53 +0000 | haftmann | streamlined division on polynomials | changeset | files |
| Sun, 25 Sep 2022 19:10:43 +0000 | haftmann | streamlined division on polynomials | changeset | files |
| Thu, 22 Sep 2022 20:20:37 +0200 | wenzelm | clarified signature: re-use store/cache from build results; | changeset | files |