From 4ef19ea9768473d53080512f80b8769be9a926f9 Mon Sep 17 00:00:00 2001 From: narboux Date: Wed, 9 Nov 2005 10:37:26 +0000 Subject: ajout splash screen git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7544 85f007b7-540e-0410-9357-904b9bb8a0f7 --- distrib/windows/LICENSE_SPLASH | 5 +++++ distrib/windows/coq_splash.png | Bin 0 -> 58601 bytes 2 files changed, 5 insertions(+) create mode 100644 distrib/windows/LICENSE_SPLASH create mode 100644 distrib/windows/coq_splash.png (limited to 'distrib') diff --git a/distrib/windows/LICENSE_SPLASH b/distrib/windows/LICENSE_SPLASH new file mode 100644 index 000000000..a2784d4b8 --- /dev/null +++ b/distrib/windows/LICENSE_SPLASH @@ -0,0 +1,5 @@ +The splash screen is a modification a photo + of Dave Morris (http://www.flickr.com/photos/davemorris/). +It is distributed under the Creative Commons, +Attribution-NonCommercial-ShareAlike 2.0. license +(http://creativecommons.org/licenses/by-nc-sa/2.0/). \ No newline at end of file diff --git a/distrib/windows/coq_splash.png b/distrib/windows/coq_splash.png new file mode 100644 index 000000000..04e48bc1b Binary files /dev/null and b/distrib/windows/coq_splash.png differ -- cgit v1.2.3