1.1 --- a/etc/components	Sat Apr 11 11:28:31 2015 +0200
     1.2 +++ b/etc/components	Tue Apr 14 13:41:48 2015 +0200
     1.3 @@ -9,4 +9,17 @@
     1.4  src/HOL/Tools/ATP
     1.5  src/HOL/TPTP
     1.6  #bundled components
     1.7 -contrib/ProofGeneral-4.2
     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-2014
    1.12 +contrib/jdk
    1.13 +contrib/jfreechart-1.0.14-1
    1.14 +contrib/jortho-1.0-2
    1.15 +contrib/kodkodi-1.5.2
    1.16 +contrib/polyml-5.5.2-1
    1.17 +contrib/scala-2.11.2
    1.18 +contrib/spass-3.8ds
    1.19 +contrib/z3-3.2-1
    1.20 +contrib/z3-4.3.2pre-1
    1.21 +contrib/xz-java-1.2-1