| Thu, 21 Mar 2024 11:24:03 +0100 | desharna | redefined wfP as an abbreviation for "wfp_on UNIV" | changeset | files |
| Fri, 22 Mar 2024 10:38:35 +0100 | desharna | merged | changeset | files |
| Wed, 20 Mar 2024 21:13:49 +0100 | desharna | added lemma wellorder.wfp_on_less[simp] | changeset | files |
| Thu, 21 Mar 2024 21:04:49 +0100 | wenzelm | merged | changeset | files |
| Thu, 21 Mar 2024 21:03:06 +0100 | wenzelm | suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker); | changeset | files |
| Thu, 21 Mar 2024 16:54:53 +0100 | wenzelm | update to sumatra_pdf-3.5.2; | changeset | files |
| Thu, 21 Mar 2024 16:28:43 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |