Sat, 02 Oct 2021 20:44:14 +0200 updated for release;
wenzelm [Sat, 02 Oct 2021 20:44:14 +0200] rev 74807
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 74806
misc tuning for release;
Sat, 02 Oct 2021 20:38:50 +0200 update dependency;
wenzelm [Sat, 02 Oct 2021 20:38:50 +0200] rev 74805
update dependency;
Sat, 02 Oct 2021 20:31:46 +0200 trim whitespace;
wenzelm [Sat, 02 Oct 2021 20:31:46 +0200] rev 74804
trim whitespace;
Sat, 02 Oct 2021 20:28:30 +0200 misc tuning for release;
wenzelm [Sat, 02 Oct 2021 20:28:30 +0200] rev 74803
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 74802
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 74801
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 74800
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 74799
updated to current Cygwin, near 3.2.0; discontinued perl;
Sat, 02 Oct 2021 18:18:09 +0200 updated to sumatra_pdf-3.3.3;
wenzelm [Sat, 02 Oct 2021 18:18:09 +0200] rev 74798
updated to sumatra_pdf-3.3.3;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip