1.1 --- a/Admin/contributed_components	Tue Jan 04 15:46:38 2011 -0800
     1.2 +++ b/Admin/contributed_components	Thu Jan 06 17:51:56 2011 +0100
     1.3 @@ -1,7 +1,9 @@
     1.4  #contributed components
     1.5 +contrib/cvc3-2.2
     1.6  contrib/e-1.2
     1.7  contrib/jedit-4.3.2
     1.8  contrib/kodkodi-1.2.16
     1.9  contrib/spass-3.7
    1.10  contrib/scala-2.8.0.RC5
    1.11  contrib/vampire-1.0
    1.12 +contrib/z3-2.15