--- a/Admin/components/components.sha1 Sat Jul 17 21:52:14 2021 +0200
+++ b/Admin/components/components.sha1 Sat Jul 17 21:56:39 2021 +0200
@@ -129,6 +129,7 @@
a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5 isabelle_setup-20210716-1.tar.gz
79fad009cb22aa5e7cb4aed3c810ad5f61790293 isabelle_setup-20210716.tar.gz
692a39f716998e556ec9559c9ca362fc8fc9d5b6 isabelle_setup-20210717-1.tar.gz
+7322d6d84d75c486a58ed36630431db4499e3232 isabelle_setup-20210717-2.tar.gz
14f8508bcae9140815bb23e430e26d2cbc504b81 isabelle_setup-20210717.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
--- a/Admin/components/main Sat Jul 17 21:52:14 2021 +0200
+++ b/Admin/components/main Sat Jul 17 21:56:39 2021 +0200
@@ -8,7 +8,7 @@
flatlaf-1.2
idea-icons-20210508
isabelle_fonts-20210322
-isabelle_setup-20210717-1
+isabelle_setup-20210717-2
jdk-15.0.2+7
jedit-20210717
jfreechart-1.5.1