--- a/etc/components Sat Apr 26 06:43:06 2014 +0200
+++ b/etc/components Sat Apr 26 21:37:09 2014 +1000
@@ -1,7 +1,6 @@
src/Tools/Code
src/Tools/jEdit
src/Tools/Graphview
-src/Tools/WWW_Find
src/HOL/Mirabelle
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares