1.1 --- a/etc/components	Wed Jul 21 09:59:35 2010 +0200
     1.2 +++ b/etc/components	Wed Jul 21 13:53:39 2010 +0200
     1.3 @@ -17,3 +17,9 @@
     1.4  src/HOL/Mirabelle
     1.5  src/HOL/Library/Sum_Of_Squares
     1.6  src/HOL/Tools/SMT
     1.7 +#bundled components
     1.8 +contrib/e-1.0-004
     1.9 +contrib/jedit-4.3.2
    1.10 +contrib/kodkodi-1.2.13
    1.11 +contrib/scala-2.8.0.RC5
    1.12 +contrib/spass-3.7