src/Pure/System/isabelle_system.scala

   /* repository clone with Admin */
 
   def admin(): Boolean = Path.explode("~~/Admin").is_dir
 
 
-  /* components */
-
-  def components(): List[Path] =
-    Path.split(getenv_strict("ISABELLE_COMPONENTS"))
-
-
   /* default logic */
 
   def default_logic(args: String*): String =
   {
     args.find(_ != "") match {