diff --git a/LICENSE b/LICENSE
index c6d03e9112410155d07911a175c6eb30f2b7961d..f19bb3f608cd608db0184511730436fdf43d1543 100644
--- a/LICENSE
+++ b/LICENSE
@@ -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!
-
-
diff --git a/misc/header.txt b/misc/header.txt
index 7e9b72443d491502fad753ea70fada5379478b07..c55c2849b1655e97eb1187dd3a590916aa198841 100644
--- a/misc/header.txt
+++ b/misc/header.txt
@@ -1,8 +1,7 @@
 
 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.
-
diff --git a/share/images/boomy/license.txt b/share/images/boomy/license.txt
new file mode 100644
index 0000000000000000000000000000000000000000..63704bef0d8b198e5d986042876ababb93e54c0a
--- /dev/null
+++ b/share/images/boomy/license.txt
@@ -0,0 +1,26 @@
+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
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index 4470e23a21b4d896c2a33c90980d6c6ca71d1b5a..604b051819b27bd5718c777c193577e5b3636f14 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -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"