--- a/Admin/components/components.sha1 Wed Sep 22 20:18:28 2021 +0200
+++ b/Admin/components/components.sha1 Wed Sep 22 21:20:36 2021 +0200
@@ -136,6 +136,7 @@
4554679cc8ea31e539655810a14d14216b383d0e isabelle_setup-20210724-2.tar.gz
127a75ae33e97480d352087fcb9b47a632d77169 isabelle_setup-20210724.tar.gz
309909ec6d43ae460338e9af54c1b2a48adcb1ec isabelle_setup-20210726.tar.gz
+a14ce46c62c64c3413f3cc9239242e33570d0f3d isabelle_setup-20210922.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
--- a/Admin/components/main Wed Sep 22 20:18:28 2021 +0200
+++ b/Admin/components/main Wed Sep 22 21:20:36 2021 +0200
@@ -8,7 +8,7 @@
flatlaf-1.2
idea-icons-20210508
isabelle_fonts-20210322
-isabelle_setup-20210726
+isabelle_setup-20210922
jdk-15.0.2+7
jedit-20210802
jfreechart-1.5.1
--- a/src/Tools/Setup/src/Build.java Wed Sep 22 20:18:28 2021 +0200
+++ b/src/Tools/Setup/src/Build.java Wed Sep 22 21:20:36 2021 +0200
@@ -255,7 +255,7 @@
}
if (scala_sources) {
boolean ok = new MainClass().process(args.toArray(String[]::new));
- if (!ok) { throw new RuntimeException("Failed to compiler Scala sources"); }
+ if (!ok) { throw new RuntimeException("Failed to compile Scala sources"); }
}
}