--- a/etc/components Mon Sep 24 20:22:58 2012 +0200 +++ b/etc/components Mon Sep 24 21:16:33 2012 +0200 @@ -1,5 +1,6 @@ src/Tools/Code src/Tools/jEdit +src/Tools/Graphview src/Tools/WWW_Find src/HOL/Mirabelle src/HOL/Mutabelle