This entire directory is based on a tarball we received from CQ2. delft-tilburg-0-src.tar.gz This tree is inserted into the bzv packages because we made some changes. If these changes are feed back to CQ2 and they decide to incorporate our modifications this tree should be removed in favor of a CQ2 packaged version. Anton