--- a/etc/components Thu Feb 05 13:01:12 2015 +0100 +++ b/etc/components Thu Feb 05 13:01:12 2015 +0100 @@ -1,5 +1,4 @@ #hard-wired components -src/Tools/Code src/Tools/jEdit src/Tools/Graphview src/HOL/Mirabelle