diff -r d77090e07000 -r 9c16317c91d1 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Feb 18 18:43:31 2014 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Feb 18 18:43:47 2014 +0100
@@ -267,7 +267,7 @@
   def execute_env(cwd: JFile, env: Map[String, String], redirect: Boolean, args: String*): Process =
   {
     val cmdline =
-      if (Platform.is_windows) List(get_cygwin_root() + "\\bin\\env.exe") ++ args
+      if (Platform.is_windows) List(get_cygwin_root() + "\\bin\\env.exe") ::: args.toList
       else args
     val env1 = if (env == null) settings else settings ++ env
     raw_execute(cwd, env1, redirect, cmdline: _*)
@@ -283,7 +283,7 @@
   {
     private val params =
       List(standard_path(Path.explode("~~/lib/scripts/process")), "group", "-", "no_script")
-    private val proc = execute_env(cwd, env, redirect, (params ++ args):_*)
+    private val proc = execute_env(cwd, env, redirect, (params ::: args.toList):_*)
 
 
     // channels
@@ -414,7 +414,7 @@
     } match {
       case Some(dir) =>
         val file = standard_path(dir + Path.basic(name))
-        process_output(execute(true, (List(file) ++ args): _*))
+        process_output(execute(true, (List(file) ::: args.toList): _*))
       case None => ("Unknown Isabelle tool: " + name, 2)
     }
   }