# HG changeset patch
# User wenzelm
# Date 1711449949 -3600
# Node ID 31ebb6be32b0c382ec2516180979e35d0761c219
# Parent  7e52091795e885fa65559b2ed9c13fc64c19d7e6
tuned messages;

diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_csdp.scala
--- a/src/Pure/Admin/component_csdp.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_csdp.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -83,7 +83,7 @@
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-        error("No 64bit platform")
+        error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_minisat.scala
--- a/src/Pure/Admin/component_minisat.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_minisat.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -48,7 +48,7 @@
 
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-          error("No 64bit platform")
+          error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_rsync.scala
--- a/src/Pure/Admin/component_rsync.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_rsync.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -50,7 +50,7 @@
 
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
-          .getOrElse(error("No 64bit platform"))
+          .getOrElse(error("Missing ISABELLE_PLATFORM64"))
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_spass.scala
--- a/src/Pure/Admin/component_spass.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_spass.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -56,7 +56,7 @@
 
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
-          .getOrElse(error("No 64bit platform"))
+          .getOrElse(error("Missing ISABELLE_PLATFORM64"))
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_vampire.scala
--- a/src/Pure/Admin/component_vampire.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_vampire.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -50,7 +50,7 @@
 
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-          error("No 64bit platform")
+          error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_verit.scala
--- a/src/Pure/Admin/component_verit.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_verit.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -49,7 +49,7 @@
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-        error("No 64bit platform")
+        error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
diff -r 7e52091795e8 -r 31ebb6be32b0 src/Pure/Admin/component_zipperposition.scala
--- a/src/Pure/Admin/component_zipperposition.scala	Tue Mar 26 11:32:16 2024 +0100
+++ b/src/Pure/Admin/component_zipperposition.scala	Tue Mar 26 11:45:49 2024 +0100
@@ -33,7 +33,7 @@
 
       val platform_name =
         proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
-        error("No 64bit platform")
+        error("Missing ISABELLE_PLATFORM64")
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))