Wed, 15 Apr 2020 12:33:42 +0200 Added tag Isabelle2020 for changeset abf3e80bd815
wenzelm [Wed, 15 Apr 2020 12:33:42 +0200] rev 71752
Added tag Isabelle2020 for changeset abf3e80bd815
Mon, 13 Apr 2020 22:08:14 +0200 tuned NEWS; Isabelle2020
wenzelm [Mon, 13 Apr 2020 22:08:14 +0200] rev 71751
tuned NEWS;
Sun, 12 Apr 2020 16:59:49 +0200 tuned NEWS;
wenzelm [Sun, 12 Apr 2020 16:59:49 +0200] rev 71750
tuned NEWS;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip