merged

--- a/src/Pure/System/isabelle_system.scala	Wed Aug 05 15:39:34 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Aug 05 16:17:30 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] =