# HG changeset patch
# User wenzelm
# Date 1249421100 -7200
# Node ID f2fd9da84bacc24133f4e37b142a362f15a1cad8
# Parent  0971cc0b6a5728df44f626360a494fdde6a3dd04
added Isabelle_System.components;

diff -r 0971cc0b6a57 -r f2fd9da84bac src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Aug 04 19:20:24 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Tue Aug 04 23:25:00 2009 +0200
@@ -298,6 +298,12 @@
 
   /** Isabelle resources **/
 
+  /* components */
+
+  def components(): List[String] =
+    getenv("ISABELLE_COMPONENTS").split(":").toList
+
+
   /* find logics */
 
   def find_logics(): List[String] =