# HG changeset patch
# User wenzelm
# Date 1632338436 -7200
# Node ID f77474665b2fabc3aa5d88230434220e11f878c9
# Parent  4f5e67b247e19011379bc581d03deb5c59381cdd
tuned message;

diff -r 4f5e67b247e1 -r f77474665b2f Admin/components/components.sha1
--- 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
diff -r 4f5e67b247e1 -r f77474665b2f Admin/components/main
--- 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
diff -r 4f5e67b247e1 -r f77474665b2f src/Tools/Setup/src/Build.java
--- 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"); }
         }
     }