Mon, 08 Aug 2022 20:27:54 +0200 Added tag Isabelle2022-RC0 for changeset b42e20adaeed default tip
wenzelm [Mon, 08 Aug 2022 20:27:54 +0200] rev 75798
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -1 tip