lib/Tools/makeall
changeset 14281 a8c4a1e63071
parent 13834 4d50cf8ea3d7
child 14981 e73f8140af78
equal deleted inserted replaced
14280:d7c3691008f9 14281:a8c4a1e63071
     6 #
     6 #
     7 # DESCRIPTION: apply make utility to all logics
     7 # DESCRIPTION: apply make utility to all logics
     8 
     8 
     9 ## global settings
     9 ## global settings
    10 
    10 
    11 ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
    11 ALL_LOGICS="Pure CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
    12 
    12 
    13 
    13 
    14 ## diagnostics
    14 ## diagnostics
    15 
    15 
    16 PRG="$(basename "$0")"
    16 PRG="$(basename "$0")"