src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Mon Jul 10 22:44:28 2023 +0200
+++ b/src/Pure/Thy/export.scala	Tue Jul 11 11:37:23 2023 +0200
@@ -548,7 +548,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, flag = entry.executable)
+          File.set_executable(path, reset = !entry.executable)
         }
       }
     }