Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed Cache_IO component
authorboehmes
Wed, 24 Mar 2010 15:21:42 +0100
changeset 35947 dc36cd801694
parent 35946 7a86d7706106
child 35948 5e7909f0346b
removed Cache_IO component
etc/components file | annotate | diff | comparison | revisions 
--- 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
isabelle