# HG changeset patch
# User wenzelm
# Date 1626551799 -7200
# Node ID a5e2654cfe289a212977dee4d9039232929ca559
# Parent  c9ec6f03ab91f349d3f57083223e061bf707b9c1
rebuild component;

diff -r c9ec6f03ab91 -r a5e2654cfe28 Admin/components/components.sha1
--- 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
diff -r c9ec6f03ab91 -r a5e2654cfe28 Admin/components/main
--- 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