# HG changeset patch
# User wenzelm
# Date 1249481850 -7200
# Node ID 4c21851036bf5fbc331f3f32f35b526beb203806
# Parent  f2fd9da84bacc24133f4e37b142a362f15a1cad8# Parent  1527ff8c2dfb8be0a8a68c46c72d45c9eddb6596
merged

diff -r 1527ff8c2dfb -r 4c21851036bf src/Pure/System/isabelle_system.scala
--- 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] =