author | boehmes |
Wed, 24 Mar 2010 15:21:42 +0100 | |
changeset 35947 | dc36cd801694 |
parent 35946 | 7a86d7706106 |
child 35948 | 5e7909f0346b |
etc/components | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/components Wed Mar 24 14:08:07 2010 +0100 1.2 +++ b/etc/components Wed Mar 24 15:21:42 2010 +0100 1.3 @@ -13,7 +13,6 @@ 1.4 #misc components 1.5 src/Tools/Code 1.6 src/Tools/WWW_Find 1.7 -src/Tools/Cache_IO 1.8 src/HOL/Tools/ATP_Manager 1.9 src/HOL/Mirabelle 1.10 src/HOL/Library/Sum_Of_Squares