diff -r 7a86d7706106 -r dc36cd801694 etc/components
--- a/etc/components	Wed Mar 24 14:08:07 2010 +0100
+++ b/etc/components	Wed Mar 24 15:21:42 2010 +0100
@@ -13,7 +13,6 @@
 #misc components
 src/Tools/Code
 src/Tools/WWW_Find
-src/Tools/Cache_IO
 src/HOL/Tools/ATP_Manager
 src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares