diff -r 5408e5207131 -r d6e492cea6e4 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Feb 06 14:39:33 2010 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sat Feb 06 14:50:55 2010 +0100
@@ -162,7 +162,7 @@
 
   /** system tools **/
 
-  def system_out(script: String): (String, Int) =
+  def bash_output(script: String): (String, Int) =
   {
     Standard_System.with_tmp_file("isabelle_script") { script_file =>
       Standard_System.with_tmp_file("isabelle_pid") { pid_file =>