fewer components, more roots;
authorwenzelm
Sun Aug 19 17:33:00 2012 +0200 (2012-08-19)
changeset 488579032f4bdf205
parent 48856 20ea249bac53
child 48858 86816c61b5ca
fewer components, more roots;
ROOTS
etc/components
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ROOTS	Sun Aug 19 17:33:00 2012 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +src/Pure
     1.5 +src/FOL
     1.6 +src/HOL
     1.7 +src/ZF
     1.8 +src/CCL
     1.9 +src/CTT
    1.10 +src/Cube
    1.11 +src/FOLP
    1.12 +src/LCF
    1.13 +src/Sequents
    1.14 +doc-src
     2.1 --- a/etc/components	Sun Aug 19 17:21:34 2012 +0200
     2.2 +++ b/etc/components	Sun Aug 19 17:33:00 2012 +0200
     2.3 @@ -1,15 +1,3 @@
     2.4 -#main object logics
     2.5 -src/Pure
     2.6 -src/FOL
     2.7 -src/HOL
     2.8 -src/ZF
     2.9 -src/CCL
    2.10 -src/CTT
    2.11 -src/Cube
    2.12 -src/FOLP
    2.13 -src/LCF
    2.14 -src/Sequents
    2.15 -#misc components
    2.16  src/Tools/Code
    2.17  src/Tools/jEdit
    2.18  src/Tools/WWW_Find
    2.19 @@ -20,4 +8,3 @@
    2.20  src/HOL/Tools/Predicate_Compile
    2.21  src/HOL/Tools/SMT
    2.22  src/HOL/TPTP
    2.23 -doc-src