1.1 --- a/src/Pure/System/isabelle_system.scala	Tue Aug 04 19:20:24 2009 +0200
     1.2 +++ b/src/Pure/System/isabelle_system.scala	Tue Aug 04 23:25:00 2009 +0200
     1.3 @@ -298,6 +298,12 @@
     1.4  
     1.5    /** Isabelle resources **/
     1.6  
     1.7 +  /* components */
     1.8 +
     1.9 +  def components(): List[String] =
    1.10 +    getenv("ISABELLE_COMPONENTS").split(":").toList
    1.11 +
    1.12 +
    1.13    /* find logics */
    1.14  
    1.15    def find_logics(): List[String] =