Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
c17b9b2a
Commit
c17b9b2a
authored
Jan 13, 2015
by
MARCHE Claude
Browse files
More license clairification
parent
3100076f
Changes
4
Hide whitespace changes
Inline
Side-by-side
LICENSE
View file @
c17b9b2a
...
...
@@ -15,8 +15,8 @@ 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
subdirectori
es share/icons/*
licenses, some of them may forbid commercial usage.
These specific
licenses are detailed in fil
es share/icons/*
/*.txt
======================================================================
...
...
Makefile.in
View file @
c17b9b2a
...
...
@@ -276,11 +276,12 @@ endif
cp
-f
modules/
*
.mlw
$(DATADIR)
/why3/modules
cp
-f
modules/mach/
*
.mlw
$(DATADIR)
/why3/modules/mach
cp
-f
drivers/
*
.drv drivers/
*
.gen
$(DATADIR)
/why3/drivers
cp
-f
LICENSE
$(DATADIR)
/why3/
cp
-f
share/provers-detection-data.conf
$(DATADIR)
/why3/
cp
-f
share/images/icons.rc
$(DATADIR)
/why3/images
cp
-f
share/images/
*
.png
$(DATADIR)
/why3/images
cp
-f
share/images/boomy/
*
.png
$(DATADIR)
/why3/images/boomy
cp
-f
share/images/fatcow/
*
.png
$(DATADIR)
/why3/images/fatcow
cp
-f
share/images/boomy/
*
$(DATADIR)
/why3/images/boomy
cp
-f
share/images/fatcow/
*
$(DATADIR)
/why3/images/fatcow
cp
-f
share/why3session.dtd
$(DATADIR)
/why3
cp
-f
share/Makefile.config
$(DATADIR)
/why3
cp
-rf
share/javascript
$(DATADIR)
/why3/javascript
...
...
share/images/fatcow/readme-fatcow.txt
0 → 100644
View file @
c17b9b2a
Free FatCow-Farm Fresh Icons
http://www.fatcow.com/free-icons
FatCow Farm-Fresh final release (3926 icons, 5 parts):
- fatcow-hosting-icons-3.9.2.zip default (10.9 Mb)
- fatcow-hosting-icons-3.9.2-color.zip (11.1 Mb)
- fatcow-hosting-icons-3.9.2-grey.zip (6.9 Mb)
- fatcow-hosting-icons-3.9.2-ico.zip (8.9 Mb)
- fatcow-hosting-icons-3.9.2-all.zip (30.7 Mb)
- fatcow-hosting-icons-3.9.2-ai-src.zip (2.82 !Gb)
These icons are licensed under a Creative Commons Attribution 3.0 License.
http://creativecommons.org/licenses/by/3.0/us/ if you do not know how to link
back to FatCow's website, you can ask https://plus.google.com/+MarcisGasuns
Biggest icon set drawn by a single designer (in pixel smooth style) worldwide.
We are unavailable for custom icon design work. The project is
closed (April 2014) and we do not plan to draw more metaphors.
http://twitter.com/FatCow
http://plus.google.com/+FatCow
http://www.facebook.com/FatCow
---------------------------------------------------------------------------------
© Copyright 2009-2014 FatCow Web Hosting. All rights reserved.
http://www.fatcow.com
All other trademarks and copyrights
are property of their respective owners.
---------------------------------------------------------------------------------
src/ide/gconfig.ml
View file @
c17b9b2a
...
...
@@ -581,7 +581,7 @@ let show_about_window () =
"Makarius Wenzel"
;
]
~
copyright
:
"Copyright 2010-2015 Inria, CNRS, Paris-Sud University"
~
license
:
"GNU Lesser General Public License version 2.1"
~
license
:
(
"See file "
^
Filename
.
concat
Config
.
datadir
"LICENSE"
)
~
website
:
"http://why3.lri.fr"
~
website_label
:
"http://why3.lri.fr"
~
version
:
Config
.
version
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment