remove HOLCF from build script, since it no longer works
authorhuffman
Sat Nov 27 17:14:29 2010 -0800 (2010-11-27 ago)
changeset 40775ed7a4eadb2f6
parent 40774 0437dbc127b3
child 40776 cce37f6d4b69
remove HOLCF from build script, since it no longer works
build
     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