| Tue, 27 Sep 2022 17:46:52 +0100 | paulson | More syntactic cleanup. LaTeX markup working | changeset | files |
| Tue, 27 Sep 2022 17:03:23 +0100 | paulson | more modernisation of syntax | changeset | files |
| Tue, 27 Sep 2022 16:51:35 +0100 | paulson | Removal of obsolete ASCII syntax | changeset | files |
| 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 |