1.1 --- a/etc/components Mon Feb 21 19:40:36 2011 +0100
1.2 +++ b/etc/components Fri Feb 25 13:04:56 2011 +0100
1.3 @@ -13,10 +13,13 @@
1.4 #misc components
1.5 src/Tools/Code
1.6 src/Tools/WWW_Find
1.7 -src/HOL/Tools/ATP_Manager
1.8 +src/HOL/Tools/ATP
1.9 src/HOL/Mirabelle
1.10 -src/HOL/Library/Sum_Of_Squares
1.11 +src/HOL/Library/Sum_of_Squares
1.12 src/HOL/Tools/SMT
1.13 +src/HOL/Tools/Predicate_Compile
1.14 +src/HOL/Mutabelle
1.15 +
1.16 #bundled components
1.17 contrib/e-1.0-004
1.18 contrib/jedit-4.3.2