- icon for coqide desktop entry

Changed files:
    coqide.xpm -> 1.1

diff --git a/coqide.xpm b/coqide.xpm
new file mode 100644 (file)
index 0000000..799f1b6
--- /dev/null
+++ b/coqide.xpm
@@ -0,0 +1,52 @@
+/* XPM */
+static char *coq2_3[] = {
+/* columns rows colors chars-per-pixel */
+"32 32 14 1 ",
+"  c black",
+". c #330000",
+"X c #660000",
+"o c #800000",
+"O c #990000",
+"+ c #CC0000",
+"@ c red",
+"# c #996600",
+"$ c #FF9900",
+"% c yellow",
+"& c #868686",
+"* c gray80",
+"= c gray100",
+"- c None",
+/* pixels */
+"--------     *------------------",
+"------- @@+OX *-----------------",
+"------- @+++XX *-*     *--------",
+"------- @+++OXX -  @+OX --------",
+"------- @++++OX - @++OX --------",
+"------- @@++++OX  @++OX -*    *-",
+"-------- @@++++XX @++OX - @@OO *",
+"--------- @@@++OX @++OX  @++++X ",
+"----------  @++++++++++ @+++++X ",
+"-----------*          +++++++OX ",
+"----------* =========* ++++++OX ",
+"---------- ====      =* ++++OXX ",
+"---------* === ====== =* +OOXX. ",
+"--------- === === #=== =& XX.  *",
+"----*      == == = #== =&&   *--",
+"-*   %%%%%% =           =&& *---",
+"- %%%%%%%%%% ============*& ----",
+"* %%%%%$$$$%% ===========*& ----",
+" %%%%$$$$$$ % ===========*& ----",
+" %%$$$$$$$ %% ===========*&& ---",
+" %%$      %%$ ===========**& ---",
+" %$ %%%%%%%$$ ===========**& ---",
+"    %%%%$$$$  ===========**& ---",
+" ---        o   ======*==**& ---",
+"-------- @+Oo == =====**=**& *--",
+"-------- @+Oo == =====**=***& --",
+"-------- @+Oo =  =====******&  -",
+"-------  @+Oo  =======******&&& ",
+"------- @@+Oo =======*****  **& ",
+"------- ++Oo. =====     ** -    ",
+"-------  Oo.  =    ----- * -----",
+"--------     - ----------   ----"
+};