Tue, 03 Mar 2020 15:51:02 +0100 updated for release;
wenzelm [Tue, 03 Mar 2020 15:51:02 +0100] rev 71510
updated for release;
Mon, 02 Mar 2020 15:45:37 +0100 Added tag Isabelle2020-RC1 for changeset a8849ac415cc
wenzelm [Mon, 02 Mar 2020 15:45:37 +0100] rev 71509
Added tag Isabelle2020-RC1 for changeset a8849ac415cc
Mon, 02 Mar 2020 15:33:58 +0100 follow Phabricator update 2020 Week 6;
wenzelm [Mon, 02 Mar 2020 15:33:58 +0100] rev 71508
follow Phabricator update 2020 Week 6;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip