Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/logo/isabelle-tiny.xpm
author paulson <lp15@cam.ac.uk>
Mon, 23 Nov 2015 16:57:54 +0000
changeset 61738 c4f6031f1310
parent 5130 95faaa02274a
permissions -rw-r--r--
New material about paths, winding numbers, etc. Added lemmas to divide_const_simps. Misc tuning.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5130
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     1
 
/* XPM */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     2
 
static char *isabelle-tiny[] = {
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     3
 
/* width height num_colors chars_per_pixel */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     4
 
"    66    56      255            2",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     5
 
/* colors */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     6
 
".. c #ffffff",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     7
 
".# c #181818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     8
 
".a c #212121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
     9
 
".b c #292929",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    10
 
".c c #313131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    11
 
".d c #393939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    12
 
".e c #636363",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    13
 
".f c #6b6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    14
 
".g c #737373",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    15
 
".h c #848484",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    16
 
".i c #9c9c9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    17
 
".j c #a5a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    18
 
".k c #adadad",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    19
 
".l c #bdbdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    20
 
".m c #cecece",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    21
 
".n c #d6d6d6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    22
 
".o c #dedede",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    23
 
".p c #f7f7f7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    24
 
".q c #cecece",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    25
 
".r c #635a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    26
 
".s c #d6bdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    27
 
".t c #d6bdbd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    28
 
".u c #84737b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    29
 
".v c #ad9c94",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    30
 
".w c #e7a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    31
 
".x c #392929",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    32
 
".y c #e7a5a5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    33
 
".z c #de9494",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    34
 
".A c #9c5a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    35
 
".B c #845a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    36
 
".C c #de9494",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    37
 
".D c #de9494",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    38
 
".E c #5a3939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    39
 
".F c #ce7373",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    40
 
".G c #5a3939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    41
 
".H c #e77b7b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    42
 
".I c #9c5a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    43
 
".J c #100808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    44
 
".K c #421818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    45
 
".L c #de6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    46
 
".M c #de6b6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    47
 
".N c #b55263",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    48
 
".O c #d66363",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    49
 
".P c #843942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    50
 
".Q c #d65a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    51
 
".R c #a54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    52
 
".S c #ce5252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    53
 
".T c #c64a4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    54
 
".U c #de5252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    55
 
".V c #421818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    56
 
".W c #a54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    57
 
".X c #732929",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    58
 
".Y c #ce4a4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    59
 
".Z c #a54242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    60
 
".0 c #943131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    61
 
".1 c #ce4242",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    62
 
".2 c #ad3131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    63
 
".3 c #421818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    64
 
".4 c #ad3131",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    65
 
".5 c #210000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    66
 
".6 c #631810",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    67
 
".7 c #ce2121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    68
 
".8 c #ad1818",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    69
 
".9 c #941821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    70
 
"#. c #ce1010",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    71
 
"## c #9c0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    72
 
"#a c #9c0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    73
 
"#b c #c60808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    74
 
"#c c #210000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    75
 
"#d c #520000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    76
 
"#e c #5a0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    77
 
"#f c #7b0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    78
 
"#g c #9c0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    79
 
"#h c #c60000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    80
 
"#i c #c60000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    81
 
"#j c #ce0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    82
 
"#k c #c60808",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    83
 
"#l c #d6524a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    84
 
"#m c #ce4a4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    85
 
"#n c #ce2121",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    86
 
"#o c #5a0000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    87
 
"#p c #631810",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    88
 
"#q c #bd2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    89
 
"#r c #bd2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    90
 
"#s c #9c2100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    91
 
"#t c #bd2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    92
 
"#u c #845a31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    93
 
"#v c #d67352",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    94
 
"#w c #ce4a21",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    95
 
"#x c #ce4a21",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    96
 
"#y c #391000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    97
 
"#z c #7b2100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    98
 
"#A c #ad8473",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
    99
 
"#B c #ad9c94",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   100
 
"#C c #291810",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   101
 
"#D c #8c4221",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   102
 
"#E c #7b2100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   103
 
"#F c #d64200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   104
 
"#G c #e76321",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   105
 
"#H c #b54200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   106
 
"#I c #ce4a21",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   107
 
"#J c #b54200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   108
 
"#K c #ef8442",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   109
 
"#L c #ad6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   110
 
"#M c #d66300",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   111
 
"#N c #9c6b4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   112
 
"#O c #e76321",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   113
 
"#P c #8c3900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   114
 
"#Q c #e7a573",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   115
 
"#R c #ad6b31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   116
 
"#S c #5a2900",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   117
 
"#T c #d66300",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   118
 
"#U c #ef8421",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   119
 
"#V c #ad6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   120
 
"#W c #948452",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   121
 
"#X c #e7a573",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   122
 
"#Y c #845a31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   123
 
"#Z c #423100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   124
 
"#0 c #efe7de",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   125
 
"#1 c #f7ad5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   126
 
"#2 c #846318",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   127
 
"#3 c #ad6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   128
 
"#4 c #ad6310",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   129
 
"#5 c #de7b08",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   130
 
"#6 c #f78400",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   131
 
"#7 c #9c6b4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   132
 
"#8 c #845a31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   133
 
"#9 c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   134
 
"a. c #945200",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   135
 
"a# c #6b5a42",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   136
 
"aa c #bd8c4a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   137
 
"ab c #ff9400",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   138
 
"ac c #ad8473",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   139
 
"ad c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   140
 
"ae c #d69431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   141
 
"af c #ff9c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   142
 
"ag c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   143
 
"ah c #ffb529",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   144
 
"ai c #ff9c00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   145
 
"aj c #ad9431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   146
 
"ak c #ffb529",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   147
 
"al c #ffb529",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   148
 
"am c #d69418",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   149
 
"an c #734a00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   150
 
"ao c #aea671",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   151
 
"ap c #948452",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   152
 
"aq c #634a18",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   153
 
"ar c #ffce39",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   154
 
"as c #bd8410",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   155
 
"at c #ffad00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   156
 
"au c #ce9c52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   157
 
"av c #846318",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   158
 
"aw c #d69418",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   159
 
"ax c #ffb529",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   160
 
"ay c #ad9431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   161
 
"az c #9c7b00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   162
 
"aA c #423100",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   163
 
"aB c #d6ad00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   164
 
"aC c #ffbd00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   165
 
"aD c #bdad7b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   166
 
"aE c #948452",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   167
 
"aF c #deb539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   168
 
"aG c #ffce39",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   169
 
"aH c #deb539",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   170
 
"aI c #e7d79e",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   171
 
"aJ c #ffce39",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   172
 
"aK c #734a00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   173
 
"aL c #9c7b00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   174
 
"aM c #bd8410",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   175
 
"aN c #d6ad00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   176
 
"aO c #efbd00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   177
 
"aP c #efbd00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   178
 
"aQ c #e7d68c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   179
 
"aR c #cebd73",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   180
 
"aS c #ffe773",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   181
 
"aT c #d6bd52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   182
 
"aU c #d6bd52",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   183
 
"aV c #f7d652",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   184
 
"aW c #ad9431",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   185
 
"aX c #846b00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   186
 
"aY c #bd8410",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   187
 
"aZ c #d6ad00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   188
 
"a0 c #ffce00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   189
 
"a1 c #ffe773",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   190
 
"a2 c #ffd610",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   191
 
"a3 c #5a4a00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   192
 
"a4 c #ffd600",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   193
 
"a5 c #e7ce42",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   194
 
"a6 c #fff7bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   195
 
"a7 c #c6b531",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   196
 
"a8 c #efd618",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   197
 
"a9 c #ffe773",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   198
 
"b. c #ffef00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   199
 
"b# c #fff7bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   200
 
"ba c #ffff84",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   201
 
"bb c #ffff84",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   202
 
"bc c #ffff5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   203
 
"bd c #ffff5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   204
 
"be c #ffff31",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   205
 
"bf c #ffff10",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   206
 
"bg c #ffff00",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   207
 
"bh c #e7e7f7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   208
 
"bi c #dedeef",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   209
 
"bj c #63636b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   210
 
"bk c #52525a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   211
 
"bl c #8c8c9c",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   212
 
"bm c #42424a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   213
 
"bn c #cecee7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   214
 
"bo c #737384",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   215
 
"bp c #a5a5bd",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   216
 
"bq c #3b3b3b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   217
 
"br c #5a5a6b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   218
 
"bs c #7b7b94",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   219
 
"bt c #424252",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   220
 
"bu c #63637b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   221
 
"bv c #737394",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   222
 
"bw c #181821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   223
 
"bx c #42394a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   224
 
"by c #292942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   225
 
"bz c #525284",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   226
 
"bA c #292952",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   227
 
"bB c #292952",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   228
 
"bC c #000018",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   229
 
"bD c #000039",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   230
 
"bE c #000042",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   231
 
"bF c #ada5d6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   232
 
"bG c #9c94c6",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   233
 
"bH c #948cb5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   234
 
"bI c #a59cce",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   235
 
"bJ c #847ba5",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   236
 
"bK c #cec6e7",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   237
 
"bL c #9696ae",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   238
 
"bM c #737394",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   239
 
"bN c #6b6384",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   240
 
"bO c #c6bdde",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   241
 
"bP c #524a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   242
 
"bQ c #42394a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   243
 
"bR c #cec6ce",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   244
 
"bS c #292129",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   245
 
"bT c #080008",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   246
 
"bU c #84737b",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   247
 
"bV c #845a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   248
 
"bW c #635a5a",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   249
 
"bX c #5a3939",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   250
 
"bY c #a6798e",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   251
 
"bZ c #b55263",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   252
 
"b0 c #9c5a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   253
 
"b1 c #843942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   254
 
"b2 c #9c5a63",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   255
 
"b3 c #843942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   256
 
"b4 c #5a2129",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   257
 
"b5 c #bd6b73",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   258
 
"b6 c #843942",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   259
 
"b7 c #941821",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   260
 
"b8 c #000000",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   261
 
/* pixels */
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   262
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   263
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   264
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   265
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   266
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   267
 
"........................................................bR..........................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   268
 
"..............................................bR.......ab8b8........................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   269
 
".............................................kb8.....i....b8........................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   270
 
"..............................................b8.i..b8..b8..#0......................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   271
 
".........................................nb8..bmb8..b8b8....b8......................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   272
 
"..........................................b8.p..b8.i#0b8.cbk.n.....o................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   273
 
"..........................................b8b8...eb8..bTb8.j....b8b8.##0............................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   274
 
"............................................b8.p..b8.f........b8a7bga7b8b8#0........................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   275
 
"............................................b8b8...eb8......b8aqbgbgbgbgaVb8bT#0....................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   276
 
"......................................b8b8b8..b8.f...p..bRb8bcbgbgbgbgbgbgbgbgazb8bQ....#0..........................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   277
 
"....................................#0#0..b8..blb8....bRb8bfbgbgbgbgbgbgbgbgbgbgb.b8..bt.Jb8.j......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   278
 
".....................................f.rb8.......j....b8bfbgbgbgbgbgbgbgbgbgb.aba0b8bmaAbgbf#Cb8bp..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   279
 
"...........................J.........hb8.....g........b8.p..bbbgbgbgbgbgbgbgabaia0b8aAbgbgbgbgbf.db8bp..............................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   280
 
".........................kb8...jb8b8..b8b8.gbk........b8a0a0..#0bbbgbgbgb.abaiaia0b8b.bgbgbgbgbgbgb..xb8bv..........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   281
 
"..........................b8bT.i.ob8.i.eb8.c..........b8ata0a0a0#0b#bbb.afaiaiaia0b8bgbgbgbgbgbgbgbgbgbg#Sby........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   282
 
"...........................kb8.p..b8b8............bC.lb8aCa4aAa0a0a2..axaiaiaiaiatb8bfbgbgbgbgbgbgbgbeaib3by........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   283
 
"............................b8bT..#0b8..........bk.ibwb8aCa0b8a0a0aKa0aiaiaiaiaiatbwa7bgbgbgbgbgbgb.abaib3.c........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   284
 
".........................d...nb8.....r........bybHbn..b8ata0b8b8b8a0a0alaiaiaiaiaCb8b8.Kb.bgbgbgbfabaiaib6.c........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   285
 
"......................b8b8.f..b8b8b8........bwblbnbn..b8ata0aLa4b8a0a0ataiaiaiaiaib8#m.TbT.Jb.b.abaiaiai.X.c........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   286
 
".....................a...ab8...n#0.........#bJbibnbn..b8a2a0aPaAa4a4anataiaiaiai.IbX.Y.Y.Y.Ub8#Maiaiaiai.X.b........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   287
 
".....................d...lb8bm.p........bTblbnbnbn.n...c.Va0a0aMa0b8.Eb8.Paiai#sb8.Y.Y.Y.Y#i#f#9aiaiaiaib3bS........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   288
 
"................b8....bm..bUb8........bjbC..bhbnbnbnbn#0...Jaga0b8bfbgbg#Yb8b8bC.Y.Y.S.D#i#b#f#Vaiaiaiai#abTbo......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   289
 
"........bk....bT......b8.ab8..........brbwbFbi..bhbnbnbnbK..bTb8avbgbgbgbgbg#Wb8.i#l.w#.#i#i#f#Vaiaiaiai.Pbl.Bb8.b..................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   290
 
".......jb8....b8b8b8b8.ob8............blbTbObIbIbn.pbibibib8b8aSbgbgbgbgbgbgbgbga4.JbT#g#i#i#f#Vaiaiaiai.#.y.Y.Y#l.Xbw..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   291
 
"........b8b8..b8b8.bb8................bNbTbObIbIbIbIbi..bwb8a4bgbgbgbgbgbgbgbgbgbgbgbQ.0#i#i#fasaiaiai.c.W.Y.Y.Y.7#ib8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   292
 
".........mb8.p......b8............bkb8bubTbObvb8bsbIbIbIbTaobdbgbgbgbgbgbgbgbgb.arat#Cb7#i#i#f#Maiai.cb6.Y.Y.q#n#i#ib8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   293
 
"..........b8b8..bl.J.............gbwbLb8bCbO.#bybFbSbIbIbw.lb#..bbbgbgbgbgbgbgaiaiaCb8#f#i#.#f#Jaib8b6.Y.Y.q#l#i#i#ib8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   294
 
"...........mb8.p..............brbwbnbibMbCbIbIbIbvbkbIbI.c#za0a0aIbbbabgbgbgaiaiaiaCb8#f#i#i#f#5b8bW.Y#n.z.Q#i#i#i#ib8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   295
 
"............b8b8............bPbSbibnbnbQ.#bIbIbIbIbIbIbIbw#Eb.a0a0aI....bdalaiaiaiaCb8#f#i#j.Vb8.v.1.S...C#i#i#i#i#ib8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   296
 
".............m.p..........bx.cbnbnbnbibH.JbIbIbIbIbIbQbSbP#Db.aPa4a0a0a6a1aiaiaiaiaCb8#f#jb8.0b2.Y.Y.Y.1.7#i#i#i#i.7b8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   297
 
"........................bx.cbKbnbnbn#0bpb8b8.lbIbIbwbtbOb8#Pb.aPa4a0a0a0a0aiaiaiaiaC#c#cb8#n#g.Y.X.X#l.Y#.#i#i#i#i.7b8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   298
 
"........................b8....bKbnbnbnbi.p.kb8b8.ibtbnbhbz#Eb.aPaLaLa4a0a0aiaiaiaiaC#c.ab8.V#l.Z.T#lb8#l#.#i#i#i#i#.b8..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   299
 
"........................b8bFbI....bKbKbnbK..bsb8btbnbnbibz#2b.aPa4a0a0a0a0aiaiaiaiaib8b5.UbYb8bS#l#lb4.Y#.#i#i#i#i#ibT..............",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   300
 
"........................b8bnbIbIbI....bKbibMb8brbnbnbnbhbz#Ra0a0a0a0a0a0a0aiaiaiai#HbT.Y.Y.Y#l#fb8b4.J.U#.#i#i#i#j.d................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   301
 
"........................b8bibIbIbFbIbF...lb8brbKbnbnbn..bub8aha0a0a0a0a0a0aiaiai#Tb8.Y.Y.Y.S#i#i.g.Y.Y.Y#.#i#i#i.c..................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   302
 
"........................b8bnbIbIbP.JbIbGblb8....bKbnbnbnbi.pbob8a0a0a0a0a0aiai#5b8#l.Y.1.n#i#i#ib8.w.Y.Y.D#i#g.#....................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   303
 
"........................b8bKbIbIbIbybIbIbsb8bFbF....bKbnbnbn..byb8aaa4a0a2ai#Tb8#l.Y.1.s#b#i#i#ibqb8bC.I.2#hbT......................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   304
 
"........................b8bObIbIbNbJbIbIblb8bKbIbIbIbnbhbh.nbEbD.JbTb8b8#Vb6.c.F.Q#0.S#i#i#i#i#ibS....bub8bs........................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   305
 
"........................b8bFbIbIbTbIbIbIbvb8bibIbIbsbubFbnbobBbDb8bT#c#i.a#C.Y.4.F#0#m#i#i#i#i#i.b..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   306
 
"........................b8btbIbIbIbIbQbIbvb8bibIbIbPbGbHbIbrbDbDbDb8b8#j.1.Y.Y.Y.1.S#i#i#i#i#i#hbw..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   307
 
".........................lb8.JbHbIbIbIbIbvb8bnbIbvbJbwbIbIbkbEbDbEb8b8#..P#l.Y.Y.Y.Y#i#i#i#i#i#ibQ..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   308
 
"............................bRb8bmbHbIbIbJb8bObIbQbFbGbsbIbjbDbDbDbCb8#l.Y.T.J.Wb8#l#i#i#i#i#i#jbk..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   309
 
"................................bjb8.dbHbGb8bIbIb8bJbqbFbIbPbDbDbDbCb8.1.Y.Y.Y.Y.Vb8#i#i#i#i#jb8.p..................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   310
 
"....................................bob8b8b8bsbIb8bIbIbIbIbPbEbDbDb8b8b8b2#l.Y.Y.Y.Y#i#i#i#jbT.p....................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   311
 
".........................................pbRb8.bbHbIbIbIbIbtbBbDb8bO..bOb8b8.T.Y.Y.Y.7#i#j.J.p......................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   312
 
"..............................................blb8.hbHbIbIbobEb8bp.........o.fbT.O.Y.7#j.#.p........................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   313
 
"..................................................bSb8bUbHbIb8bo..............bRb8bT#.b8.p..........................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   314
 
"......................................................bkb8b8br....................bl.d.p............................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   315
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   316
 
"....................................................................................................................................",
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   317
 
"...................................................................................................................................."
95faaa02274a added xpm icons;
wenzelm
parents:
diff changeset 
   318
 
};
isabelle