src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sat Jun 05 20:20:25 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Jun 05 21:01:00 2021 +0200
@@ -581,12 +581,6 @@
   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 =