JIF LICENSE

This license governs use of the accompanying Jif software, and your use
of the software constitutes acceptance of this license.

You may use this software for any non-commercial purpose, subject to the
restrictions in this license.

You may use any information in intangible form that you remember after
accessing the software.

You may not use or distribute this software or any derivative works in
any form for commercial purposes.

The code generated by the Jif compiler inherits the copyright and
other restrictions on the source code it was produced from, but is not
otherwise considered to be a derivative work.  For example, output of
the compiler is public domain if the source code it was generated from
was public domain.

You may modify this software and distribute the modified software for
non-commercial purposes, however, you may not grant rights to the
software or derivative works that are broader than those provided by
this license.  For example, you may not distribute modifications of
the software under terms that would permit commercial use, or under
terms that purport to require the software or derivative works to be
sublicensed to others. In addition:

 - You may not remove any copyright or other notices from the software.

 - If you distribute the software in source or object form, you must
   include a verbatim copy of this license.

 - If you distribute derivative works of the software in source code form
   you may do so only under a license that includes all of the provisions
   of this license, and if you distribute derivative works of the software
   solely in object form you may do so only under a license that complies
   with this license.

 - If you have modified the software or created derivative works, and
   distribute such modifications or derivative works, you will cause the
   modified distribution to carry prominent notices so that recipients know
   that they are not receiving the original software.  Such notices must
   state that you have changed the software and include the date of any
   changes.

THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES.  THIS MEANS NO EXPRESS,
IMPLIED OR STATUTORY WARRANTY, INCLUDING WITHOUT LIMITATION, WARRANTIES
OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE OR ANY WARRANTY
OF TITLE OR NON-INFRINGEMENT.  ALSO, YOU MUST PASS THIS DISCLAIMER ON
WHENEVER YOU DISTRIBUTE THE SOFTWARE OR DERIVATIVE WORKS.

THE DESIGNERS AND DEVELOPERS OF JIF, CORNELL UNIVERSITY, AND ITS
FINANCIAL SPONSORS WILL NOT BE LIABLE FOR ANY DAMAGES RELATED TO
THE SOFTWARE OR THIS LICENSE, INCLUDING DIRECT, INDIRECT, SPECIAL,
CONSEQUENTIAL OR INCIDENTAL DAMAGES, TO THE MAXIMUM EXTENT THE LAW
PERMITS, NO MATTER WHAT LEGAL THEORY IT IS BASED ON.  ALSO, YOU MUST
PASS THIS LIMITATION OF LIABILITY ON WHENEVER YOU DISTRIBUTE THE
SOFTWARE OR DERIVATIVE WORKS.
