All source code and binary programs included in DESYNC
are distributed under the terms and conditions of the Eiffel
Forum License:

    Eiffel Forum License, version 2

    1. Permission is hereby granted to use, copy, modify and/or distribute
       this package, provided that:
           * copyright notices are retained unchanged,
           * any distribution of this package, whether modified or not,
             includes this license text.
    2. Permission is hereby also granted to distribute binary programs which
       depend on this package. If the binary program depends on a modified
       version of this package, you are encouraged to publicly release the
       modified version of this package.

    THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT WARRANTY. ANY EXPRESS OR
    IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
    WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
    DISCLAIMED. IN NO EVENT SHALL THE AUTHORS BE LIABLE TO ANY PARTY FOR
    ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
    DAMAGES ARISING IN ANY WAY OUT OF THE USE OF THIS PACKAGE.

This license is an OSI Approved License:

    http://opensource.org/licenses/ver2_eiffel.php

and a GPL-Compatible, Free Software License:

    http://www.gnu.org/licenses/eiffel-forum-license-2.html

--
Copyright (c) 2005, Justin Finnerty
