Mon, 11 Oct 2021 21:55:21 +0200 more examples
nipkow [Mon, 11 Oct 2021 21:55:21 +0200] rev 74500
more examples
Mon, 11 Oct 2021 17:04:35 +0200 workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
wenzelm [Mon, 11 Oct 2021 17:04:35 +0200] rev 74499
workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
Mon, 11 Oct 2021 06:32:09 +0000 more complete simp rules
haftmann [Mon, 11 Oct 2021 06:32:09 +0000] rev 74498
more complete simp rules
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip