diff -r 2cd133df7587 -r 28a306e675ba src/Pure/Tools/isabelle_system.scala
--- a/src/Pure/Tools/isabelle_system.scala	Sat Aug 23 19:42:15 2008 +0200
+++ b/src/Pure/Tools/isabelle_system.scala	Sat Aug 23 19:42:16 2008 +0200
@@ -77,7 +77,7 @@
 
   def shell_prefix() = {
     if (Pattern.matches(".*-cygwin", getenv_strict("ML_PLATFORM")))
-      Some(platform_path("/usr/bin/env"))
+      Some(platform_path("/bin/env"))
     else None
   }