--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOTS Sun Aug 19 17:33:00 2012 +0200
@@ -0,0 +1,11 @@
+src/Pure
+src/FOL
+src/HOL
+src/ZF
+src/CCL
+src/CTT
+src/Cube
+src/FOLP
+src/LCF
+src/Sequents
+doc-src
--- a/etc/components Sun Aug 19 17:21:34 2012 +0200
+++ b/etc/components Sun Aug 19 17:33:00 2012 +0200
@@ -1,15 +1,3 @@
-#main object logics
-src/Pure
-src/FOL
-src/HOL
-src/ZF
-src/CCL
-src/CTT
-src/Cube
-src/FOLP
-src/LCF
-src/Sequents
-#misc components
src/Tools/Code
src/Tools/jEdit
src/Tools/WWW_Find
@@ -20,4 +8,3 @@
src/HOL/Tools/Predicate_Compile
src/HOL/Tools/SMT
src/HOL/TPTP
-doc-src