diff -r 711d1a43d754 -r 236fa33784de etc/components
--- a/etc/components	Tue Sep 01 16:00:59 2009 +0200
+++ b/etc/components	Tue Sep 01 16:39:05 2009 +0200
@@ -11,6 +11,7 @@
 src/LCF
 src/Sequents
 #misc components
+src/Tools/Code
 src/HOL/Tools/ATP_Manager
 src/HOL/Tools/Mirabelle
 src/HOL/Library/Sum_Of_Squares