lib/icons/isabelle-mini.xpm
author wenzelm
Sat, 27 Oct 2001 00:05:50 +0200
changeset 11958 2ece34b9fd8e
parent 6544 22b91f7c30d2
permissions -rw-r--r--
Isar: fixed rep_datatype args;
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
"16 16 88 2",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     4
"#b c #8c8ca5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     5
".5 c #c6bdc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     6
"#o c #9c0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     7
"#e c #ce9c00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     8
".U c #ad0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
     9
".w c #5a4242",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    10
".g c #423108",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    11
".K c #a57363",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    12
"#q c #525263",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    13
"#u c #5a1018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    14
"#i c #292131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    15
".C c #a59cc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    16
".Y c #dea500",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    17
".S c #844a39",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    18
"#. c #840008",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    19
".L c #8c4a39",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    20
".x c #a58400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    21
".l c #ffa500",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    22
".N c #ada5c6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    23
"#t c #291810",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    24
".e c #ffd600",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    25
".G c #b59410",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    26
".I c #7b4210",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    27
".F c #7b6300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    28
".z c #d6846b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    29
".V c #e7e7ef",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    30
".f c #d68400",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    31
".B c #73737b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    32
".c c #292121",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    33
".O c #73738c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    34
"#m c #c65252",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    35
"#r c #4a425a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    36
".P c #ffe784",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    37
".y c #392929",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    38
"#c c #313131",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    39
".T c #d69c94",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    40
".q c #524200",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    41
".k c #ffd639",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    42
".v c #cec6de",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    43
".h c #adb5b5",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    44
"## c #bdbdbd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    45
"#g c #c6737b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    46
"#p c #42424a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    47
".i c #422100",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    48
".p c #847b84",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    49
".X c #9c94c6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    50
"Qt c None",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    51
".E c #d6cee7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    52
".A c #732908",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    53
"#l c #181010",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    54
".m c #c67300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    55
"#n c #d6735a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    56
"#s c #181021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    57
".s c #d67300",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    58
".a c #f7ce00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    59
".R c #a50021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    60
".3 c #a50818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    61
".Q c #ffd608",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    62
".H c #ad0021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    63
".4 c #b50021",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    64
".9 c #4a1818",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    65
"#j c #736b8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    66
"#d c #efe7f7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    67
".n c #d6ad00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    68
".W c #5a5a63",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    69
".# c #393139",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    70
".j c #ffce4a",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    71
".D c #dedee7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    72
".J c #ffad00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    73
".M c #b5b5bd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    74
".t c #b58c00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    75
".u c #84849c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    76
"#k c #393963",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    77
".d c #ffde00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    78
".2 c #d68463",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    79
".8 c #de8c6b",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    80
".6 c #f7f7f7",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    81
"#a c #9c94bd",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    82
".1 c #ce5a52",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    83
"#f c #b56352",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    84
".b c #847b8c",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    85
".7 c #cecede",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    86
".r c #f7bd00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    87
"#h c #7b0018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    88
".Z c #ffbd00",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    89
".0 c #840018",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    90
"#v c #5a3931",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    91
".o c #bdbdc6",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    92
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    93
"QtQtQtQtQtQt.#.a.bQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    94
"QtQtQtQtQt.c.d.e.e.f.g.hQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    95
"QtQtQtQtQt.i.j.k.l.m.d.e.n.oQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    96
"QtQtQtQt.p.i.q.r.l.s.t.e.l.uQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    97
"QtQtQt.p.v.w.x.g.f.y.z.A.l.BQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    98
"QtQtQt.C.D.E.F.e.d.G.H.I.J.K.LQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
    99
"QtQt.M.N.#.O.P.Q.d.J.R.I.S.T.UQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   100
"Qt.v.V.W.X.#.Y.Z.l.J.0.1.2.3.4Qt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   101
".5.N.6.M.7.7.Z.Z.l.J.8.9.S.U#.Qt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   102
"###a#b#c#d.7.O#e.J#f#g.3#c#hQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   103
".5.C.O#i#j#a#k#l#m#n.H#oQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   104
"QtQt.c#p#q.N#r#s.8#t.U#uQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   105
"QtQtQtQt#p#a#iQtQt#v#uQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   106
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
22b91f7c30d2 Isabelle icons;
wenzelm
parents:
diff changeset
   107
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt"};