1.1 --- a/etc/components	Wed Nov 20 16:25:07 2013 +0100
     1.2 +++ b/etc/components	Thu Nov 21 08:43:38 2013 +0100
     1.3 @@ -10,3 +10,17 @@
     1.4  src/HOL/Tools/Sledgehammer/MaSh
     1.5  src/HOL/Tools/SMT
     1.6  src/HOL/TPTP
     1.7 +#bundled components
     1.8 +contrib/cvc3-2.4.1
     1.9 +contrib/e-1.8
    1.10 +contrib/exec_process-1.0.3
    1.11 +contrib/Haskabelle-2013
    1.12 +contrib/jdk
    1.13 +contrib/jfreechart-1.0.14-1
    1.14 +contrib/kodkodi-1.5.2
    1.15 +contrib/polyml-5.5.1-1
    1.16 +contrib/scala-2.10.3
    1.17 +contrib/spass-3.8ds
    1.18 +contrib/z3-3.2
    1.19 +contrib/xz-java-1.2-1
    1.20 +contrib/ProofGeneral-4.2