# HG changeset patch
# User wenzelm
# Date 1345390380 -7200
# Node ID 9032f4bdf205ab9cdf959e059c6d1b91125d2a8d
# Parent  20ea249bac531d74932b615bb56cd4ace590d0c9
fewer components, more roots;

diff -r 20ea249bac53 -r 9032f4bdf205 ROOTS
--- /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
diff -r 20ea249bac53 -r 9032f4bdf205 etc/components
--- 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