--- a/src/Pure/System/isabelle_system.scala Thu Apr 22 10:55:31 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala Thu Apr 22 11:12:03 2021 +0200
@@ -466,7 +466,11 @@
redirect: Boolean = false): Process =
{
val proc = new ProcessBuilder
- proc.command(command_line.asJava) // fragile on Windows
+
+ // fragile on Windows:
+ // see https://docs.microsoft.com/en-us/cpp/cpp/main-function-command-line-args?view=msvc-160
+ proc.command(command_line.asJava)
+
if (cwd != null) proc.directory(cwd)
if (env != null) {
proc.environment.clear()