etc/components
changeset 33817 f6a4da31f2f1
parent 32618 42865636d006
child 35151 117247018b54
--- a/etc/components	Fri Nov 20 10:40:30 2009 +0100
+++ b/etc/components	Fri Nov 20 18:36:44 2009 +1100
@@ -12,6 +12,7 @@
 src/Sequents
 #misc components
 src/Tools/Code
+src/Tools/WWW_Find
 src/HOL/Tools/ATP_Manager
 src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares