lib/icons/isabelle.xpm
author wenzelm
Tue, 03 Apr 2012 16:10:34 +0200
changeset 47291 6a641856a0e9
parent 6544 22b91f7c30d2
permissions -rw-r--r--
better drop background syntax if entity depends on parameters; more direct Type_Infer_Context.const_type instead of Syntax.check_term, which expands abbreviations (and potentially more);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6544
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     1
/* XPM */
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     2
static char*isabelle[]={
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     3
"48 48 241 2",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     4
"aF c #ffe74a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     5
"#F c #633931",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     6
".2 c #211018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     7
"bv c #948c94",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     8
".4 c #8c8ca5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     9
".K c #4a4231",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    10
".Z c #ffefbd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    11
"#2 c #c6bdc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    12
"aM c #f7ce73",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    13
"av c #9c0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    14
"al c #390810",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    15
"#m c #ce9c00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    16
"#f c #fff7d6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    17
"ad c #ad0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    18
"bw c #9c4a00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    19
"#V c #5a4242",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    20
"ag c #5a4a39",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    21
".G c #423108",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    22
".0 c #ffde18",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    23
"a2 c #d6847b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    24
"bs c #212131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    25
"ao c #a57363",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    26
".M c #ffde29",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    27
"by c #6b0008",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    28
"a. c #525263",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    29
".b c #cecece",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    30
"#R c #5a1018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    31
"#l c #292131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    32
"bC c #212142",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    33
"ah c #a59cc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    34
"#e c #dea500",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    35
".s c #523910",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    36
"af c #844a39",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    37
"#k c #5a5a6b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    38
".W c #523921",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    39
"br c #840008",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    40
"ap c #8c4a39",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    41
".z c #9c8400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    42
".v c #dedede",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    43
".r c #a58400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    44
".1 c #ffa500",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    45
"aL c #ada5c6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    46
".P c #c67b00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    47
"#x c #524221",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    48
".X c #ffd65a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    49
"#D c #7b5a00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    50
"a0 c #291810",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    51
"#U c #b5adce",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    52
".x c #ffd600",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    53
"#M c #c68400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    54
"#G c #6b4a18",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    55
"aG c #e77b00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    56
"ak c #b59410",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    57
"aB c #9c9ca5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    58
"#S c #7b4210",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    59
"aZ c #bdb5d6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    60
".g c #736b73",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    61
"#Z c #d6846b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    62
".3 c #7b6300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    63
".c c #e7e7ef",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    64
".D c #d68400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    65
"bE c #bd948c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    66
"a3 c #f7e7de",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    67
"bA c #ce4242",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    68
"bd c #b50821",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    69
"#j c #73737b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    70
"a8 c #842131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    71
"#E c #94635a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    72
".C c #292121",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    73
".m c #8c6300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    74
"bM c #8c2131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    75
".7 c #ffc618",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    76
"#s c #73738c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    77
"aI c #d6947b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    78
"#7 c #c65252",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    79
"aE c #4a425a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    80
"aN c #ffe784",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    81
".w c #312929",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    82
"a9 c #b51831",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    83
"#p c #392929",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    84
".V c #f7f7ff",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    85
"aX c #de948c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    86
"bG c #631821",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    87
"#a c #313131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    88
"aQ c #d69c94",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    89
".T c #524200",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    90
"as c #000010",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    91
"#. c #ffd639",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    92
".E c #313142",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    93
"#I c #cec6de",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    94
"bh c #4a2929",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    95
"bb c #8c5242",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    96
"#L c #211800",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    97
"bD c #000021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    98
"aK c #b52131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    99
".H c #adb5b5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   100
"at c #f7b500",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   101
".d c #423939",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   102
"bm c #5a2929",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   103
"#4 c #6b4200",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   104
"az c #c62131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   105
"ay c #d6635a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   106
"bo c #42394a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   107
"aY c #dea594",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   108
"aJ c #d6ad9c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   109
"bp c #943900",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   110
".q c #b59400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   111
"aT c #8484a5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   112
".J c #bdbdbd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   113
"a4 c #c6737b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   114
".y c #efc608",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   115
"bI c #101031",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   116
"#W c #312100",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   117
"bg c #c69400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   118
"#3 c #42424a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   119
"#b c #ffc608",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   120
".F c #948cad",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   121
".6 c #422100",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   122
"bR c #a5634a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   123
"bT c #7b7b84",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   124
"aq c #4a0818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   125
"aC c #524a52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   126
".u c #c6c6ce",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   127
"bi c #ad6b52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   128
"a# c #000000",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   129
"#u c #847b84",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   130
".f c #423110",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   131
"a6 c #9c94c6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   132
"#C c #9c9cbd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   133
"ba c #b56b52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   134
"a5 c #080000",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   135
".j c #9c7300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   136
"bf c #5a525a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   137
"aj c #080808",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   138
"Qt c None",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   139
"bc c #bd735a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   140
"#5 c #100808",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   141
"b# c #a53939",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   142
"aP c #ce6b52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   143
".5 c #d6cee7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   144
".h c #d6d6de",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   145
"#N c #732908",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   146
".Y c #ffe79c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   147
"bH c #73525a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   148
"b. c #181010",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   149
"#H c #8c8c8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   150
"## c #c67300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   151
"be c #840818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   152
"a1 c #d6735a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   153
".e c #735200",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   154
"bP c #181021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   155
"ar c #ada5ce",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   156
".9 c #ffefb5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   157
"#6 c #deb5a5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   158
"#w c #d67300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   159
".l c #f7ce00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   160
".Q c #181829",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   161
"aH c #311010",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   162
"#K c #634218",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   163
"#z c #ffce00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   164
"#1 c #a50021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   165
"#8 c #a50818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   166
"#h c #ffd608",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   167
"an c #391818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   168
"ai c #6b6384",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   169
"ae c #ad0021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   170
"aw c #b50021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   171
"#g c #ffde8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   172
"bO c #212129",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   173
"bt c #a55200",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   174
".B c #a59cad",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   175
"bq c #4a1818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   176
"bu c #736b8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   177
".# c #efe7f7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   178
".S c #d6ad00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   179
"#t c #5a5a63",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   180
"aD c #7b7394",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   181
"#i c #6b3100",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   182
"#O c #7b524a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   183
"#J c #a5adb5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   184
".i c #393139",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   185
".8 c #ffce4a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   186
".L c #fff79c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   187
"#Q c #ce7b63",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   188
".p c #dedee7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   189
".O c #ffad00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   190
"bJ c #efded6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   191
"aa c #4a3139",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   192
"#Y c #843908",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   193
"bB c #393952",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   194
".U c #b5b5bd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   195
"#y c #b58c00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   196
"#A c #84849c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   197
"bU c #bdb5bd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   198
"aW c #736363",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   199
"bQ c #a5524a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   200
"bL c #393963",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   201
"au c #391808",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   202
"bS c #6b6b6b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   203
".k c #ffde00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   204
"ax c #d68463",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   205
"#q c #efce18",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   206
"#P c #de8c6b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   207
"#r c #631000",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   208
".n c #312910",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   209
"#T c #5a1808",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   210
"a7 c #4a4252",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   211
"bN c #843139",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   212
"ac c #bd5a63",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   213
"ab c #8c7373",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   214
".I c #f7f7f7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   215
"#X c #ef8c00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   216
"aS c #9c94bd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   217
"#0 c #ce5a52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   218
"bz c #b56352",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   219
"#n c #9c6b00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   220
"#d c #4a2910",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   221
".o c #847b8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   222
"bk c #393129",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   223
"bK c #f7ffff",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   224
"aO c #522910",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   225
"bF c #ffffff",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   226
"#B c #cecede",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   227
"#o c #d6a510",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   228
"bl c #4a3129",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   229
"aU c #efbd00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   230
"bn c #730018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   231
"#v c #f7bd00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   232
".A c #634a00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   233
"aA c #7b0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   234
".N c #ffbd00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   235
"#9 c #7b2108",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   236
"aV c #840018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   237
"bx c #ce6b6b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   238
"aR c #bd3139",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   239
".t c #635a7b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   240
"bj c #5a3931",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   241
".R c #efc600",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   242
".a c #8c8c94",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   243
"am c #8c0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   244
"#c c #bdbdc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   245
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   246
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   247
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   248
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.#.a.bQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   249
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.c.d.e.f.g.hQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   250
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.c.i.j.k.l.m.n.o.cQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   251
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.p.d.q.k.k.k.k.l.r.s.t.uQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   252
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.v.w.r.k.x.x.x.x.k.k.y.z.A.oQt.u.B.#QtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   253
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.p.C.q.k.k.x.x.x.x.x.x.k.k.D.E.F.G.A.w.H.IQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   254
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.J.K.L.M.x.x.x.x.x.x.x.N.O.P.Q.f.R.k.S.T.d.U.VQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   255
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.U.W.X.Y.Z.0.x.x.x.x.N.1.O.P.2.S.k.x.k.x.S.3.d.4.5QtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   256
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.u.6.N.7.8.Y.9#..0.N.1.1.O###a#b.k.x.x.x.k.k.S.3.K#cQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   257
"QtQtQtQtQtQtQtQtQtQtQtQtQtQt.I.h#c#d.N#e.N#b#.#f#g.1.1.1.O###a#h.k.x.x.x.x.x.k#b#i#jQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   258
"QtQtQtQtQtQtQtQtQtQtQtQtQt.I#k#a#l.s.x.j#m.N#n#o#b.1.1.1.O###p#q.k.x.x.x.x.x.O.1#r#sQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   259
"QtQtQtQtQtQtQtQtQtQtQtQt.##t#u.c.o.6.N.r.T.A.e#v.O.1.1.1.O#w.2#x#y#z.k.x.x.O.1.1#r#AQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   260
"QtQtQtQtQtQtQtQtQtQtQt.c#t.g#B.##C.6#z#y#D.e#e.x.N.1.1.1.O#w#p#E#F#G.z.y.O.1.1.1#r.aQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   261
"QtQtQtQtQtQtQtQtQtQt.I#t#H.c#I.p#J#K#z#e#L.m.O#n#M.1.1.1.1#N#O#P#P#Q#R#S.1.1.1.1#T.aQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   262
"QtQtQtQtQtQtQtQtQt.I#k#u.p#I#I.c#U#V#y.N.r#v#i.G#W#T.D#X#Y#p#Z#P#Z#0#1#N.1.1.1.1#T#jQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   263
"QtQtQtQtQtQtQtQtQt#2#3.I.c#B#I#I.b.v#u#K#m#4.3.k.l#y.G#5#p#Z#P#6#7#8#1#S.1.1.1.1#9.2.a.cQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   264
"QtQtQtQtQtQtQtQtQt.J.i#U#I.#.c.5#I.#.pa.a#.e.x.k.k.k.y.r#Kaaabacadae#1#S.1.1.1.O#N#Vafag#H.pQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   265
"QtQtQtQtQtQtQtQtQt#c.iah#Cah.p.c.c.5aiaj.3#h.k.x.x.x.k.k.xak.Galaeaeam#S.1.1.O#wanao#P#Zapaq.pQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   266
"QtQtQtQtQtQtQtQt.I.u.iar.F.Fahar.c.Uas.3#h.k.x.x.x.x.x.x.k.katauavaw#1#Y.O.O#Xau#Oax#PayazaA.uQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   267
"QtQtQtQtQtQtQtaB.iaC.E#UaDaE.t.FahaD.w.9aF.x.x.x.x.x.x.x#z.OaGaH#1ae#1#N.O#Xau#O#PaIaJaKadaA.bQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   268
"QtQtQtQtQtQtaB#t.UaC.iaLai#k.i.tar#s.waMaN.9.M#h.x.x.k.N.1.OaGal#1ae#1#SaGaOafaP#PaQaRadadaA.bQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   269
"QtQtQtQtQt.H#3.u.#.U.EahahaSaDaTaraTaHaU#b.8.Y#f.0#h.N.O.1.O.Dal#1awaV#TalaWaXaXaYaK#8aeawaA#BQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   270
"QtQtQtQt.H.daZ.5.paB#3aLah#CaLaS.oaDaHat#vat.7aM#f.Z.O.1.1.OaGal#1adana0afa1a2a3a4adadaeadaA.bQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   271
"QtQtQt.BaC#I.h#I.c.Ua5#t#Cara6aEa7.ian.N#e#e.N.N.7.7.1.1.1.OaGalaV#Ra8#0#P#Qaxaya9#8aeaeawaA.uQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   272
"QtQt.b#3.c.p#I#I.h.uaBaC.d#s#k#t.p#JaHat#e#y#maU.N.O.1.1.1.O#Xanb.#5b#ax#ObabbbcaRadaeaebdbe#2Qt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   273
"QtQt#ca7.5.p.V.5#I#I.V.h#3a#bf.5.p.5.C.O#e.S#ebg.N.N.1.1.1.1#XbhbibjbkblbmaxblbcaRadaeadaebn.bQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   274
"QtQt#2#3aLaL.u.#.I#B.p.UboaC#B#I.5#Bbh.N.N.O.N.N.N.N.1.1.1.Obp#V#P#Pbcbqanbiaf#QaRadaeawbrbf.IQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   275
"QtQt#2#3aZaSaS#CaZ.IaZbs#t.5#B#I.p.h.i.j.N#z.N.N.N.N.1.1.Obt#pbcax#Z#7#1bm#Zbc#QaRadadaA.g.IQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   276
"QtQt#2#3aZa6.FbuaS#U.o.w.c.c.p#I#I#I.bbv#G.r.N#z.N.N.1.1bwanbc#PaJbxad#8aHag#Q#PaRadby#u.IQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   277
"QtQt.Ja7aZaSaLbu.4ah#j#a#U#I.#.c.5#B.5.##sas#K#m.N#z.Obw.Cbza1aYa4adad#8.C#t#abbbAaA.g.IQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   278
"QtQt#2#3#Uah.Fbobuarbu.C#C#Cah.p.I.p.caBbBbCbDb.#D#mbt#pbEa2aYbxadaeae#8aabF.hbfbGbHQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   279
"QtQt#caCarahaE.taiaSbu#a#UahaSaT.F.p#caEbBbCbI.2bnalaHbzay#6bJaKadadae#8bl.IQtbK.c.IQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   280
"QtQt#2#aaDah#A#C#s#Abu#l#Uahbuai#kaS#AbobLbBbIb.bM#0#7#Paxa1#7aeaeaeaeavaaQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   281
"QtQt.IaB.wbfaSahaharbu.i#Uahboa.#kah#AbobLbL.QajbNbcbcaxaxaxaxaeadaead#8bh.IQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   282
"QtQtQtQt.I.gbO.t.Far#s.iaL#Ca7.FaEaS#A#3bLbLbBbPbQaxafbbbRafbcbdaeaeaeav#V.VQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   283
"QtQtQtQtQtQt.vbf.C#kai#3aL.Fa.aia.aL.4aEaEbLaEbPap#P#P#Zbba0afbdadaead#R.uQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   284
"QtQtQtQtQtQtQt.I.haB#t.wa7#s#saSaSah.4aEbLbB#lbSbf.C#O#Z#Q#Q#Qbdae#8bG.bQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   285
"QtQtQtQtQtQtQtQtQtQtQt.pbT.w#kaSaLah#AaEbB#l#cQtQt.J#3blbi#Paxawavaq.uQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   286
"QtQtQtQtQtQtQtQtQtQtQtQtQt.c#3bOaiaSaSaE#l.HQtQtQtQtQt.B.ibjbaae#R#JQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   287
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQt#2#3#aaEbsbUQtQtQtQtQtQtQt.V.U.dbh.uQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   288
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.vbv.UQtQtQtQtQtQtQtQtQtQt.c.cQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   289
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   290
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   291
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   292
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt"};