Tue, 03 Mar 2020 15:51:02 +0100 | wenzelm | updated for release; | changeset | files |
Mon, 02 Mar 2020 15:45:37 +0100 | wenzelm | Added tag Isabelle2020-RC1 for changeset a8849ac415cc | changeset | files |
Mon, 02 Mar 2020 15:33:58 +0100 | wenzelm | follow Phabricator update 2020 Week 6; | changeset | files |