build
changeset 40775 ed7a4eadb2f6
parent 34238 b28be884edda
     1.1 --- a/build	Sat Nov 27 16:08:10 2010 -0800
     1.2 +++ b/build	Sat Nov 27 17:14:29 2010 -0800
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  ## global settings
     1.6  
     1.7 -ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
     1.8 +ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP LCF Sequents"
     1.9  
    1.10  
    1.11  ## settings