# HG changeset patch
# User wenzelm
# Date 1626467220 -7200
# Node ID 19ad7a0999920d51ee386e143d58bde17e2ebe70
# Parent  fd4b4385ad3c9e8c37a8d0986dcaec3cb8301d2c
rebuild component;

diff -r fd4b4385ad3c -r 19ad7a099992 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jul 16 22:25:50 2021 +0200
+++ b/Admin/components/components.sha1	Fri Jul 16 22:27:00 2021 +0200
@@ -126,6 +126,7 @@
 a0e7527448ef0f7ce164a38a50dc26e98de3cad6  isabelle_setup-20210709.tar.gz
 e413706694b0968245ee15183af2d464814ce0a4  isabelle_setup-20210711.tar.gz
 d2c9fd7b73457a460111edd6eb93a133272935fb  isabelle_setup-20210715.tar.gz
+a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5  isabelle_setup-20210716-1.tar.gz
 79fad009cb22aa5e7cb4aed3c810ad5f61790293  isabelle_setup-20210716.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
diff -r fd4b4385ad3c -r 19ad7a099992 Admin/components/main
--- a/Admin/components/main	Fri Jul 16 22:25:50 2021 +0200
+++ b/Admin/components/main	Fri Jul 16 22:27:00 2021 +0200
@@ -8,7 +8,7 @@
 flatlaf-1.2
 idea-icons-20210508
 isabelle_fonts-20210322
-isabelle_setup-20210716
+isabelle_setup-20210716-1
 jdk-15.0.2+7
 jedit-20210715
 jfreechart-1.5.1