projects / packages / coq.git / blame
| Commit | Line | Data |
|---|---|---|
| cf820e88 JR |
1 | /* XPM */ |
| 2 | static char *coq2_3[] = { | |
| 3 | /* columns rows colors chars-per-pixel */ | |
| 4 | "32 32 14 1 ", | |
| 5 | " c black", | |
| 6 | ". c #330000", | |
| 7 | "X c #660000", | |
| 8 | "o c #800000", | |
| 9 | "O c #990000", | |
| 10 | "+ c #CC0000", | |
| 11 | "@ c red", | |
| 12 | "# c #996600", | |
| 13 | "$ c #FF9900", | |
| 14 | "% c yellow", | |
| 15 | "& c #868686", | |
| 16 | "* c gray80", | |
| 17 | "= c gray100", | |
| 18 | "- c None", | |
| 19 | /* pixels */ | |
| 20 | "-------- *------------------", | |
| 21 | "------- @@+OX *-----------------", | |
| 22 | "------- @+++XX *-* *--------", | |
| 23 | "------- @+++OXX - @+OX --------", | |
| 24 | "------- @++++OX - @++OX --------", | |
| 25 | "------- @@++++OX @++OX -* *-", | |
| 26 | "-------- @@++++XX @++OX - @@OO *", | |
| 27 | "--------- @@@++OX @++OX @++++X ", | |
| 28 | "---------- @++++++++++ @+++++X ", | |
| 29 | "-----------* +++++++OX ", | |
| 30 | "----------* =========* ++++++OX ", | |
| 31 | "---------- ==== =* ++++OXX ", | |
| 32 | "---------* === ====== =* +OOXX. ", | |
| 33 | "--------- === === #=== =& XX. *", | |
| 34 | "----* == == = #== =&& *--", | |
| 35 | "-* %%%%%% = =&& *---", | |
| 36 | "- %%%%%%%%%% ============*& ----", | |
| 37 | "* %%%%%$$$$%% ===========*& ----", | |
| 38 | " %%%%$$$$$$ % ===========*& ----", | |
| 39 | " %%$$$$$$$ %% ===========*&& ---", | |
| 40 | " %%$ %%$ ===========**& ---", | |
| 41 | " %$ %%%%%%%$$ ===========**& ---", | |
| 42 | " %%%%$$$$ ===========**& ---", | |
| 43 | " --- o ======*==**& ---", | |
| 44 | "-------- @+Oo == =====**=**& *--", | |
| 45 | "-------- @+Oo == =====**=***& --", | |
| 46 | "-------- @+Oo = =====******& -", | |
| 47 | "------- @+Oo =======******&&& ", | |
| 48 | "------- @@+Oo =======***** **& ", | |
| 49 | "------- ++Oo. ===== ** - ", | |
| 50 | "------- Oo. = ----- * -----", | |
| 51 | "-------- - ---------- ----" | |
| 52 | }; |