src/Pure/Thy/export.scala

     session_name: String,
     export_dir: Path,
     progress: Progress = No_Progress,
     export_prune: Int = 0,
     export_list: Boolean = false,
-    export_patterns: List[String] = Nil,
-    export_prefix: String = "")
+    export_patterns: List[String] = Nil)
   {
     using(store.open_database(session_name))(db =>
     {
       db.transaction {
         val export_names = read_theory_exports(db, session_name)

               if (elems.length < export_prune + 1) {
                 error("Cannot prune path by " + export_prune + " element(s): " + Path.make(elems))
               }
               else export_dir + Path.make(elems.drop(export_prune))
 
-            progress.echo(export_prefix + "export " + path)
+            progress.echo("export " + path + (if (entry.executable) " (executable)" else ""))
             Isabelle_System.mkdirs(path.dir)
             Bytes.write(path, entry.uncompressed(cache = store.xz_cache))
             File.set_executable(path, entry.executable)
           }
         }