tuned;

--- a/src/Pure/System/isabelle_system.scala	Mon Dec 28 20:01:43 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 28 20:24:09 2009 +0100
@@ -398,11 +398,11 @@
 
   def isabelle_tool(name: String, args: String*): (String, Int) =
   {
-    getenv_strict("ISABELLE_TOOLS").split(":").find(dir => {
+    getenv_strict("ISABELLE_TOOLS").split(":").find { dir =>
       val file = platform_file(dir + "/" + name)
       try { file.isFile && file.canRead && file.canExecute }
       catch { case _: SecurityException => false }
-    }) match {
+    } match {
       case Some(dir) =>
         Isabelle_System.process_output(
           execute(true, (List(expand_path(dir + "/" + name)) ++ args): _*))