Commit 3100076f authored by MARCHE Claude's avatar MARCHE Claude

Licenses clarification

parent 266b7313
......@@ -14,6 +14,10 @@ of the Library that is distributed under the conditions defined in clause
however invalidate any other reasons why the executable file might be
covered by the GNU Lesser General Public License.
Icon sets for the graphical interface of Why3 are subject to specific
licenses, some of them may forbid commercial usage. See details in
subdirectories share/icons/*
======================================================================
GNU LESSER GENERAL PUBLIC LICENSE
......@@ -523,5 +527,3 @@ if necessary. Here is a sample; alter the names:
Ty Coon, President of Vice
That's all there is to it!
The Why3 Verification Platform / The Why3 Development Team
Copyright 2010-2014 -- INRIA - CNRS - Paris-Sud University
Copyright 2010-2015 -- INRIA - CNRS - Paris-Sud University
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in file LICENSE.
Boomy toolbar icon set license
This is a legal agreement between You, the user, and Milosz Wlazlo.
By downloading the Boomy icon set, You agree to the following:
All icons in the Boomy toolbar package are for personal use only. You
may also use the icons in open source and freeware projects as long as
you give credits to the author of the icons and link to his website
(miloszwl.deviantart.com).
The image data may be changed by You in a limited way, only by
combining the included icons and adjusting hue, saturation,
brightness.
All icons are provided "As is". The Miloszwl.com shall not be liable
for any kind of harm caused by use of, or the inability to use, this
icon set or any individual image.
You agree that all ownership and copyrights of the icons remain the
property of Milosz Wlazlo (Miloszwl.com). You may not resell or
redistribute the icons in any kind of commercial project or internet
icon archive.
Contact: miloszwl@miloszwl.com
Web: miloszwl.deviantart.com
......@@ -105,7 +105,7 @@ let default_ide =
ide_show_labels = false;
ide_show_locs = false;
ide_show_time_limit = false;
ide_max_boxes = 16;
ide_max_boxes = 16;
ide_saving_policy = 2;
ide_premise_color = "chartreuse";
ide_goal_color = "gold";
......@@ -580,7 +580,7 @@ let show_about_window () =
"Piotr Trojanek";
"Makarius Wenzel";
]
~copyright:"Copyright 2010-2014 Inria, CNRS, Paris-Sud University"
~copyright:"Copyright 2010-2015 Inria, CNRS, Paris-Sud University"
~license:"GNU Lesser General Public License version 2.1"
~website:"http://why3.lri.fr"
~website_label:"http://why3.lri.fr"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment