src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Wed Jun 14 17:20:05 2023 +0200
+++ b/src/Pure/Thy/export.scala	Thu Jun 15 14:28:17 2023 +0200
@@ -534,7 +534,7 @@
           Isabelle_System.make_directory(path.dir)
           val bytes = entry.bytes
           if (!path.is_file || Bytes.read(path) != bytes) Bytes.write(path, bytes)
-          File.set_executable(path, entry.executable)
+          File.set_executable(path, flag = entry.executable)
         }
       }
     }