diff -r dd2f49d88b47 -r fd76bc33b89b src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 28 22:58:25 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 28 23:34:36 2009 +0100
@@ -22,8 +22,6 @@
 {
   /** Isabelle environment **/
 
-  /* bash environment */
-
   private val environment: Map[String, String] =
   {
     import scala.collection.jcl.Conversions._
@@ -61,6 +59,17 @@
   }
 
 
+  /* external processes */
+
+  def execute(redirect: Boolean, args: String*): Process =
+  {
+    val cmdline =
+      if (Platform.is_windows) List(platform_root + "\\bin\\env.exe") ++ args
+      else args
+    Standard_System.raw_execute(environment, redirect, cmdline: _*)
+  }
+
+
   /* getenv */
 
   def getenv(name: String): String =
@@ -154,16 +163,6 @@
 
   /** system tools **/
 
-  /* external processes */
-
-  def execute(redirect: Boolean, args: String*): Process =
-  {
-    val cmdline =
-      if (Platform.is_windows) List(jvm_path("/bin/env")) ++ args
-      else args
-    Standard_System.raw_execute(environment, redirect, cmdline: _*)
-  }
-
   def system_out(script: String): (String, Int) =
   {
     Standard_System.with_tmp_file("isabelle_script") { script_file =>