1.1 --- a/etc/components	Thu Dec 12 14:37:15 2013 +0100
     1.2 +++ b/etc/components	Thu Dec 12 15:16:09 2013 +0100
     1.3 @@ -11,15 +11,4 @@
     1.4  src/HOL/Tools/SMT
     1.5  src/HOL/TPTP
     1.6  #bundled components
     1.7 -contrib/cvc3-2.4.1
     1.8 -contrib/e-1.8
     1.9 -contrib/exec_process-1.0.3
    1.10 -contrib/Haskabelle-2013
    1.11 -contrib/jfreechart-1.0.14-1
    1.12 -contrib/kodkodi-1.5.2
    1.13 -contrib/polyml-5.5.1-1
    1.14 -contrib/scala-2.10.3
    1.15 -contrib/spass-3.8ds
    1.16 -contrib/z3-3.2
    1.17 -contrib/xz-java-1.2-1
    1.18  contrib/ProofGeneral-4.2