Copyright (c) 2007, Fintan Fairmichael, University College Dublin
All rights reserved.

Bonc release 0.1.5:

 * Several bugfixes.
 * New clustering graph display using the prefuse library.
 * Typechecking of formal diagrams is not 100%. This will be fixed very soon in a new release.