1.1 --- a/Admin/CHECKLIST	Sun Nov 28 12:11:41 2010 +0100
     1.2 +++ b/Admin/CHECKLIST	Sun Nov 28 13:55:19 2010 +0100
     1.3 @@ -27,6 +27,7 @@
     1.4  
     1.5  - maintain Logics:
     1.6      build
     1.7 +    etc/components
     1.8      lib/html/library_index_content.template
     1.9  
    1.10  

     2.1 --- a/Admin/makebin	Sun Nov 28 12:11:41 2010 +0100
     2.2 +++ b/Admin/makebin	Sun Nov 28 13:55:19 2010 +0100
     2.3 @@ -101,7 +101,7 @@
     2.4    ./build -bait
     2.5  else
     2.6    ./build -b -m HOL-Nominal HOL
     2.7 -  ./build -b HOLCF
     2.8 +  ./build -b -m HOLCF HOL
     2.9    ./build -b ZF
    2.10  fi
    2.11