etc/components
changeset 48857 9032f4bdf205
parent 48839 f49745d1395a
child 49558 af7b652180d5
     1.1 --- a/etc/components	Sun Aug 19 17:21:34 2012 +0200
     1.2 +++ b/etc/components	Sun Aug 19 17:33:00 2012 +0200
     1.3 @@ -1,15 +1,3 @@
     1.4 -#main object logics
     1.5 -src/Pure
     1.6 -src/FOL
     1.7 -src/HOL
     1.8 -src/ZF
     1.9 -src/CCL
    1.10 -src/CTT
    1.11 -src/Cube
    1.12 -src/FOLP
    1.13 -src/LCF
    1.14 -src/Sequents
    1.15 -#misc components
    1.16  src/Tools/Code
    1.17  src/Tools/jEdit
    1.18  src/Tools/WWW_Find
    1.19 @@ -20,4 +8,3 @@
    1.20  src/HOL/Tools/Predicate_Compile
    1.21  src/HOL/Tools/SMT
    1.22  src/HOL/TPTP
    1.23 -doc-src