Sat, 02 Oct 2021 20:44:33 +0200 merged
wenzelm [Sat, 02 Oct 2021 20:44:33 +0200] rev 74428
merged
Sat, 02 Oct 2021 20:44:14 +0200 updated for release;
wenzelm [Sat, 02 Oct 2021 20:44:14 +0200] rev 74427
updated for release;
Sat, 02 Oct 2021 20:39:08 +0200 misc tuning for release;
wenzelm [Sat, 02 Oct 2021 20:39:08 +0200] rev 74426
misc tuning for release;
Sat, 02 Oct 2021 20:38:50 +0200 update dependency;
wenzelm [Sat, 02 Oct 2021 20:38:50 +0200] rev 74425
update dependency;
Sat, 02 Oct 2021 20:31:46 +0200 trim whitespace;
wenzelm [Sat, 02 Oct 2021 20:31:46 +0200] rev 74424
trim whitespace;
Sat, 02 Oct 2021 20:28:30 +0200 misc tuning for release;
wenzelm [Sat, 02 Oct 2021 20:28:30 +0200] rev 74423
misc tuning for release;
Sat, 02 Oct 2021 20:27:13 +0200 misc tuning for release;
wenzelm [Sat, 02 Oct 2021 20:27:13 +0200] rev 74422
misc tuning for release;
Sat, 02 Oct 2021 20:18:20 +0200 isabelle build_components -u;
wenzelm [Sat, 02 Oct 2021 20:18:20 +0200] rev 74421
isabelle build_components -u;
Sat, 02 Oct 2021 20:00:02 +0200 updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
wenzelm [Sat, 02 Oct 2021 20:00:02 +0200] rev 74420
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
Sat, 02 Oct 2021 19:28:47 +0200 updated to current Cygwin, near 3.2.0;
wenzelm [Sat, 02 Oct 2021 19:28:47 +0200] rev 74419
updated to current Cygwin, near 3.2.0; discontinued perl;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip