# HG changeset patch
# User wenzelm
# Date 1737326897 -3600
# Node ID 5e471f58fb9bd263f773887132155bccf3b3b3a0
# Parent  d6366c0c9d5cb818ba379af38f331c786c2baaea
proper result from "offline" tool;

diff -r d6366c0c9d5c -r 5e471f58fb9b src/Pure/Admin/component_hol_light.scala
--- a/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 21:02:03 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 23:48:17 2025 +0100
@@ -180,7 +180,7 @@
 
         run(3,
           File.bash_path(platform_dir + offline_exe) + " proofs",
-          "zstd -8 proofs")
+          "zstd -8 -c < proofsN > proofs.zst")
 
         val bundle_dir = Isabelle_System.make_directory(component_dir.path + Path.explode("bundle"))
         for (name <- List("facts.lst", "maps.lst", "proofs.zst")) {