1.1 --- a/etc/components	Thu Jan 18 15:17:59 2018 +0100
     1.2 +++ b/etc/components	Fri Jan 19 12:49:17 2018 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  #hard-wired components
     1.5  src/Tools/jEdit
     1.6  src/Tools/Graphview
     1.7 +src/Tools/VSCode
     1.8  src/HOL/Mirabelle
     1.9  src/HOL/Mutabelle
    1.10  src/HOL/Library/Sum_of_Squares
    1.11 @@ -8,3 +9,23 @@
    1.12  src/HOL/Tools
    1.13  src/HOL/Tools/ATP
    1.14  src/HOL/TPTP
    1.15 +#bundled components
    1.16 +contrib/bash_process-1.2.1
    1.17 +contrib/csdp-6.x
    1.18 +contrib/cvc4-1.5-3
    1.19 +contrib/e-2.0-1
    1.20 +contrib/isabelle_fonts-20160830
    1.21 +contrib/jdk
    1.22 +contrib/jfreechart-1.0.14-1
    1.23 +contrib/jortho-1.0-2
    1.24 +contrib/kodkodi-1.5.2
    1.25 +contrib/nunchaku-0.5
    1.26 +contrib/polyml-5.6-1
    1.27 +contrib/postgresql-42.1.4
    1.28 +contrib/scala-2.12.3
    1.29 +contrib/smbc-0.4.1
    1.30 +contrib/ssh-java-20161009
    1.31 +contrib/spass-3.8ds
    1.32 +contrib/sqlite-jdbc-3.20.0
    1.33 +contrib/xz-java-1.6
    1.34 +contrib/z3-4.4.0pre