diff options
| author | narboux | 2005-11-06 14:56:30 +0000 |
|---|---|---|
| committer | narboux | 2005-11-06 14:56:30 +0000 |
| commit | 1e4ae626ccfadcc2077bb209ef5bdfe25e51eeb6 (patch) | |
| tree | 7c27fa810b16744417d79ba6802191004c72c488 | |
| parent | a44bda060db363ebddab43c21164355ab07d0778 (diff) | |
coq icon
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7523 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | distrib/windows/coq.ico | bin | 0 -> 4710 bytes | |||
| -rwxr-xr-x | distrib/windows/coq.nsi.in | 24 |
2 files changed, 12 insertions, 12 deletions
diff --git a/distrib/windows/coq.ico b/distrib/windows/coq.ico Binary files differnew file mode 100755 index 0000000000..bc1732fd99 --- /dev/null +++ b/distrib/windows/coq.ico diff --git a/distrib/windows/coq.nsi.in b/distrib/windows/coq.nsi.in index e336826ef0..26f5d07e7f 100755 --- a/distrib/windows/coq.nsi.in +++ b/distrib/windows/coq.nsi.in @@ -31,9 +31,9 @@ ;Interface Configuration - !define MUI_HEADERIMAGE - !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional - !define MUI_ABORTWARNING +; !define MUI_HEADERIMAGE +; !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional +; !define MUI_ABORTWARNING ;-------------------------------- @@ -67,18 +67,18 @@ ;-------------------------------- ;Data -Function .onInit - SetOutPath $TEMP - File /oname=coq_splash.bmp "coq_splash.bmp" - InitPluginsDir +;Function .onInit +; SetOutPath $TEMP +; File /oname=coq_splash.bmp "coq_splash.bmp" +; InitPluginsDir; - advsplash::show 1000 600 400 -1 $TEMP\coq_splash +; advsplash::show 1000 600 400 -1 $TEMP\coq_splash - Pop $0 ; $0 has '1' if the user closed the splash screen early, - ; '0' if everything closed normal, and '-1' if some error occured. +; Pop $0 ; $0 has '1' if the user closed the splash screen early, +; ; '0' if everything closed normal, and '-1' if some error occured. - Delete $TEMP\coq_splash.bmp -FunctionEnd +; Delete $TEMP\coq_splash.bmp +;FunctionEnd ;-------------------------------- |