build
changeset 40775 ed7a4eadb2f6
parent 34238 b28be884edda
equal deleted inserted replaced
40774:0437dbc127b3 40775:ed7a4eadb2f6
    10 fi
    10 fi
    11 
    11 
    12 
    12 
    13 ## global settings
    13 ## global settings
    14 
    14 
    15 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    15 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP LCF Sequents"
    16 
    16 
    17 
    17 
    18 ## settings
    18 ## settings
    19 
    19 
    20 PRG="$(basename "$0")"
    20 PRG="$(basename "$0")"