Jif IDE license

This release of Jif and the Jif IDE is governed by the GNU Lesser General Public License as described by the following copyright notices.

Jif IDE 0.1.0
Copyright (C) 2014-2016 Jif project group, Cornell University.

Jif IDE is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 2.1 of
the License, or (at your option) any later version.

Jif IDE is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Lesser General Public License for more details.


Jif 3.5.0
Copyright (C) 1999-2016 Jif project group, Cornell University.

Jif is free software; you can redistribute it and/or modify it
under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 2.1 of
the License, or (at your option) any later version.

Jif is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Lesser General Public License for more details.

A copy of the GNU Lesser General Public License version 2.1 can be found here.