lib/icons/isabelle-mini.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);

/* XPM */
static char*isabelle[]={
"16 16 88 2",
"#b c #8c8ca5",
".5 c #c6bdc6",
"#o c #9c0018",
"#e c #ce9c00",
".U c #ad0018",
".w c #5a4242",
".g c #423108",
".K c #a57363",
"#q c #525263",
"#u c #5a1018",
"#i c #292131",
".C c #a59cc6",
".Y c #dea500",
".S c #844a39",
"#. c #840008",
".L c #8c4a39",
".x c #a58400",
".l c #ffa500",
".N c #ada5c6",
"#t c #291810",
".e c #ffd600",
".G c #b59410",
".I c #7b4210",
".F c #7b6300",
".z c #d6846b",
".V c #e7e7ef",
".f c #d68400",
".B c #73737b",
".c c #292121",
".O c #73738c",
"#m c #c65252",
"#r c #4a425a",
".P c #ffe784",
".y c #392929",
"#c c #313131",
".T c #d69c94",
".q c #524200",
".k c #ffd639",
".v c #cec6de",
".h c #adb5b5",
"## c #bdbdbd",
"#g c #c6737b",
"#p c #42424a",
".i c #422100",
".p c #847b84",
".X c #9c94c6",
"Qt c None",
".E c #d6cee7",
".A c #732908",
"#l c #181010",
".m c #c67300",
"#n c #d6735a",
"#s c #181021",
".s c #d67300",
".a c #f7ce00",
".R c #a50021",
".3 c #a50818",
".Q c #ffd608",
".H c #ad0021",
".4 c #b50021",
".9 c #4a1818",
"#j c #736b8c",
"#d c #efe7f7",
".n c #d6ad00",
".W c #5a5a63",
".# c #393139",
".j c #ffce4a",
".D c #dedee7",
".J c #ffad00",
".M c #b5b5bd",
".t c #b58c00",
".u c #84849c",
"#k c #393963",
".d c #ffde00",
".2 c #d68463",
".8 c #de8c6b",
".6 c #f7f7f7",
"#a c #9c94bd",
".1 c #ce5a52",
"#f c #b56352",
".b c #847b8c",
".7 c #cecede",
".r c #f7bd00",
"#h c #7b0018",
".Z c #ffbd00",
".0 c #840018",
"#v c #5a3931",
".o c #bdbdc6",
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
"QtQtQtQtQtQt.#.a.bQtQtQtQtQtQtQt",
"QtQtQtQtQt.c.d.e.e.f.g.hQtQtQtQt",
"QtQtQtQtQt.i.j.k.l.m.d.e.n.oQtQt",
"QtQtQtQt.p.i.q.r.l.s.t.e.l.uQtQt",
"QtQtQt.p.v.w.x.g.f.y.z.A.l.BQtQt",
"QtQtQt.C.D.E.F.e.d.G.H.I.J.K.LQt",
"QtQt.M.N.#.O.P.Q.d.J.R.I.S.T.UQt",
"Qt.v.V.W.X.#.Y.Z.l.J.0.1.2.3.4Qt",
".5.N.6.M.7.7.Z.Z.l.J.8.9.S.U#.Qt",
"###a#b#c#d.7.O#e.J#f#g.3#c#hQtQt",
".5.C.O#i#j#a#k#l#m#n.H#oQtQtQtQt",
"QtQt.c#p#q.N#r#s.8#t.U#uQtQtQtQt",
"QtQtQtQt#p#a#iQtQt#v#uQtQtQtQtQt",
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt"};