etc/components
changeset 40778 04d44a20fccf
parent 39462 3a86194d1534
child 40975 498f272b4bcb
     1.1 --- a/etc/components	Sat Nov 27 17:44:36 2010 -0800
     1.2 +++ b/etc/components	Sun Nov 28 12:11:41 2010 +0100
     1.3 @@ -7,7 +7,6 @@
     1.4  src/CTT
     1.5  src/Cube
     1.6  src/FOLP
     1.7 -src/HOLCF
     1.8  src/LCF
     1.9  src/Sequents
    1.10  #misc components