diff -r 5351719ab2a0 -r 59b6f0462086 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jul 11 13:48:01 2021 +0200
+++ b/Admin/components/components.sha1	Sun Jul 11 16:57:30 2021 +0200
@@ -124,6 +124,7 @@
 916adccd2f40c55116b68b92ce1eccb24d4dd9a2  isabelle_setup-20210630.tar.gz
 c611e363287fcc9bdd93c33bef85fa4e66cd3f37  isabelle_setup-20210701.tar.gz
 a0e7527448ef0f7ce164a38a50dc26e98de3cad6  isabelle_setup-20210709.tar.gz
+e413706694b0968245ee15183af2d464814ce0a4  isabelle_setup-20210711.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz