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 |
Thu, 21 Mar 2024 16:16:03 +0100 | wenzelm | update to jsoup-1.17.2; | changeset | files |
Thu, 21 Mar 2024 16:15:25 +0100 | wenzelm | proper bib entries (amending 82aaa0d8fc3b); | changeset | files |
Thu, 21 Mar 2024 15:00:22 +0100 | wenzelm | update to dotnet-8.0.203; | changeset | files |
Thu, 21 Mar 2024 14:45:15 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |