Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/jedit.ML
changeset 74147 d030b988d470
parent 74142 0f051404f487
child 74563 042041c0ebeb 
--- a/src/Pure/Tools/jedit.ML	Thu Aug 12 13:55:45 2021 +0200
+++ b/src/Pure/Tools/jedit.ML	Thu Aug 12 14:18:46 2021 +0200
@@ -36,7 +36,8 @@
 
 fun xml_resource name =
   let
-    val res = Isabelle_System.bash_process_script ("unzip -p \"$JEDIT_JAR\" " ^ Bash.string name);
+    val res =
+      Isabelle_System.bash_process (Bash.script ("unzip -p \"$JEDIT_JAR\" " ^ Bash.string name));
     val rc = Process_Result.rc res;
   in
     res |> Process_Result.check |> Process_Result.out |> XML.parse
isabelle