etc/components
changeset 56738 13b0fc4ece42
parent 54894 cb9d981fa9a0
child 56988 e8c0d894a205
     1.1 --- a/etc/components	Sat Apr 26 06:43:06 2014 +0200
     1.2 +++ b/etc/components	Sat Apr 26 21:37:09 2014 +1000
     1.3 @@ -1,7 +1,6 @@
     1.4  src/Tools/Code
     1.5  src/Tools/jEdit
     1.6  src/Tools/Graphview
     1.7 -src/Tools/WWW_Find
     1.8  src/HOL/Mirabelle
     1.9  src/HOL/Mutabelle
    1.10  src/HOL/Library/Sum_of_Squares