# HG changeset patch
# User wenzelm
# Date 1457869152 -3600
# Node ID dc7cc407c911b3663ded655aeed84fed982158c3
# Parent  4c89504c76fbea4ef57ff08e366e2ded30c5fe8d
unused;

diff -r 4c89504c76fb -r dc7cc407c911 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sun Mar 13 12:37:01 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sun Mar 13 12:39:12 2016 +0100
@@ -212,18 +212,6 @@
   }
 
 
-  /* plain execute */
-
-  def execute(command_line: List[String],
-    cwd: JFile = null, env: Map[String, String] = null, redirect: Boolean = false): Process =
-  {
-    val command_line1 =
-      if (Platform.is_windows) List(cygwin_root() + "\\bin\\env.exe") ::: command_line
-      else command_line
-    process(command_line1, cwd = cwd, env = env, redirect = redirect)
-  }
-
-
   /* tmp files */
 
   private def isabelle_tmp_prefix(): JFile =
@@ -316,26 +304,6 @@
       result(progress_stdout, progress_stderr, progress_limit, strict)
   }
 
-
-  /* system tools */
-
-  def isabelle_tool(name: String, args: String*): (String, Int) =
-  {
-    Path.split(getenv_strict("ISABELLE_TOOLS")).find { dir =>
-      val file = (dir + Path.basic(name)).file
-      try {
-        file.isFile && file.canRead && file.canExecute &&
-          !name.endsWith("~") && !name.endsWith(".orig")
-      }
-      catch { case _: SecurityException => false }
-    } match {
-      case Some(dir) =>
-        val file = File.standard_path(dir + Path.basic(name))
-        process_output(execute(file :: args.toList, redirect = true))
-      case None => ("Unknown Isabelle tool: " + name, 2)
-    }
-  }
-
   def open(arg: String): Unit =
     bash("exec \"$ISABELLE_OPEN\" '" + arg + "' >/dev/null 2>/dev/null &")