1.1 --- a/etc/components	Sat Dec 05 14:26:56 2015 +0100
     1.2 +++ b/etc/components	Sat Dec 05 16:09:41 2015 +0100
     1.3 @@ -1,25 +1,10 @@
     1.4  #hard-wired components
     1.5 -src/Tools/Code
     1.6  src/Tools/jEdit
     1.7  src/Tools/Graphview
     1.8  src/HOL/Mirabelle
     1.9  src/HOL/Mutabelle
    1.10  src/HOL/Library/Sum_of_Squares
    1.11 +src/HOL/SPARK
    1.12  src/HOL/Tools
    1.13  src/HOL/Tools/ATP
    1.14  src/HOL/TPTP
    1.15 -#bundled components
    1.16 -contrib/cvc3-2.4.1
    1.17 -contrib/e-1.8
    1.18 -contrib/exec_process-1.0.3
    1.19 -contrib/Haskabelle-2014
    1.20 -contrib/jdk
    1.21 -contrib/jfreechart-1.0.14-1
    1.22 -contrib/jortho-1.0-2
    1.23 -contrib/kodkodi-1.5.2
    1.24 -contrib/polyml-5.5.2-1
    1.25 -contrib/scala-2.11.2
    1.26 -contrib/spass-3.8ds
    1.27 -contrib/z3-3.2-1
    1.28 -contrib/z3-4.3.2pre-1
    1.29 -contrib/xz-java-1.2-1