# HG changeset patch
# User wenzelm
# Date 925487174 -7200
# Node ID 22b91f7c30d22fb83920842ffd75d8267c0dbe91
# Parent  da7b170fc8a783514d07a857b6caefa4dac81ff3
Isabelle icons;

diff -r da7b170fc8a7 -r 22b91f7c30d2 lib/icons/isabelle-mini.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/icons/isabelle-mini.xpm	Fri Apr 30 17:46:14 1999 +0200
@@ -0,0 +1,107 @@
+/* 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"};
diff -r da7b170fc8a7 -r 22b91f7c30d2 lib/icons/isabelle.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/icons/isabelle.xpm	Fri Apr 30 17:46:14 1999 +0200
@@ -0,0 +1,292 @@
+/* XPM */
+static char*isabelle[]={
+"48 48 241 2",
+"aF c #ffe74a",
+"#F c #633931",
+".2 c #211018",
+"bv c #948c94",
+".4 c #8c8ca5",
+".K c #4a4231",
+".Z c #ffefbd",
+"#2 c #c6bdc6",
+"aM c #f7ce73",
+"av c #9c0018",
+"al c #390810",
+"#m c #ce9c00",
+"#f c #fff7d6",
+"ad c #ad0018",
+"bw c #9c4a00",
+"#V c #5a4242",
+"ag c #5a4a39",
+".G c #423108",
+".0 c #ffde18",
+"a2 c #d6847b",
+"bs c #212131",
+"ao c #a57363",
+".M c #ffde29",
+"by c #6b0008",
+"a. c #525263",
+".b c #cecece",
+"#R c #5a1018",
+"#l c #292131",
+"bC c #212142",
+"ah c #a59cc6",
+"#e c #dea500",
+".s c #523910",
+"af c #844a39",
+"#k c #5a5a6b",
+".W c #523921",
+"br c #840008",
+"ap c #8c4a39",
+".z c #9c8400",
+".v c #dedede",
+".r c #a58400",
+".1 c #ffa500",
+"aL c #ada5c6",
+".P c #c67b00",
+"#x c #524221",
+".X c #ffd65a",
+"#D c #7b5a00",
+"a0 c #291810",
+"#U c #b5adce",
+".x c #ffd600",
+"#M c #c68400",
+"#G c #6b4a18",
+"aG c #e77b00",
+"ak c #b59410",
+"aB c #9c9ca5",
+"#S c #7b4210",
+"aZ c #bdb5d6",
+".g c #736b73",
+"#Z c #d6846b",
+".3 c #7b6300",
+".c c #e7e7ef",
+".D c #d68400",
+"bE c #bd948c",
+"a3 c #f7e7de",
+"bA c #ce4242",
+"bd c #b50821",
+"#j c #73737b",
+"a8 c #842131",
+"#E c #94635a",
+".C c #292121",
+".m c #8c6300",
+"bM c #8c2131",
+".7 c #ffc618",
+"#s c #73738c",
+"aI c #d6947b",
+"#7 c #c65252",
+"aE c #4a425a",
+"aN c #ffe784",
+".w c #312929",
+"a9 c #b51831",
+"#p c #392929",
+".V c #f7f7ff",
+"aX c #de948c",
+"bG c #631821",
+"#a c #313131",
+"aQ c #d69c94",
+".T c #524200",
+"as c #000010",
+"#. c #ffd639",
+".E c #313142",
+"#I c #cec6de",
+"bh c #4a2929",
+"bb c #8c5242",
+"#L c #211800",
+"bD c #000021",
+"aK c #b52131",
+".H c #adb5b5",
+"at c #f7b500",
+".d c #423939",
+"bm c #5a2929",
+"#4 c #6b4200",
+"az c #c62131",
+"ay c #d6635a",
+"bo c #42394a",
+"aY c #dea594",
+"aJ c #d6ad9c",
+"bp c #943900",
+".q c #b59400",
+"aT c #8484a5",
+".J c #bdbdbd",
+"a4 c #c6737b",
+".y c #efc608",
+"bI c #101031",
+"#W c #312100",
+"bg c #c69400",
+"#3 c #42424a",
+"#b c #ffc608",
+".F c #948cad",
+".6 c #422100",
+"bR c #a5634a",
+"bT c #7b7b84",
+"aq c #4a0818",
+"aC c #524a52",
+".u c #c6c6ce",
+"bi c #ad6b52",
+"a# c #000000",
+"#u c #847b84",
+".f c #423110",
+"a6 c #9c94c6",
+"#C c #9c9cbd",
+"ba c #b56b52",
+"a5 c #080000",
+".j c #9c7300",
+"bf c #5a525a",
+"aj c #080808",
+"Qt c None",
+"bc c #bd735a",
+"#5 c #100808",
+"b# c #a53939",
+"aP c #ce6b52",
+".5 c #d6cee7",
+".h c #d6d6de",
+"#N c #732908",
+".Y c #ffe79c",
+"bH c #73525a",
+"b. c #181010",
+"#H c #8c8c8c",
+"## c #c67300",
+"be c #840818",
+"a1 c #d6735a",
+".e c #735200",
+"bP c #181021",
+"ar c #ada5ce",
+".9 c #ffefb5",
+"#6 c #deb5a5",
+"#w c #d67300",
+".l c #f7ce00",
+".Q c #181829",
+"aH c #311010",
+"#K c #634218",
+"#z c #ffce00",
+"#1 c #a50021",
+"#8 c #a50818",
+"#h c #ffd608",
+"an c #391818",
+"ai c #6b6384",
+"ae c #ad0021",
+"aw c #b50021",
+"#g c #ffde8c",
+"bO c #212129",
+"bt c #a55200",
+".B c #a59cad",
+"bq c #4a1818",
+"bu c #736b8c",
+".# c #efe7f7",
+".S c #d6ad00",
+"#t c #5a5a63",
+"aD c #7b7394",
+"#i c #6b3100",
+"#O c #7b524a",
+"#J c #a5adb5",
+".i c #393139",
+".8 c #ffce4a",
+".L c #fff79c",
+"#Q c #ce7b63",
+".p c #dedee7",
+".O c #ffad00",
+"bJ c #efded6",
+"aa c #4a3139",
+"#Y c #843908",
+"bB c #393952",
+".U c #b5b5bd",
+"#y c #b58c00",
+"#A c #84849c",
+"bU c #bdb5bd",
+"aW c #736363",
+"bQ c #a5524a",
+"bL c #393963",
+"au c #391808",
+"bS c #6b6b6b",
+".k c #ffde00",
+"ax c #d68463",
+"#q c #efce18",
+"#P c #de8c6b",
+"#r c #631000",
+".n c #312910",
+"#T c #5a1808",
+"a7 c #4a4252",
+"bN c #843139",
+"ac c #bd5a63",
+"ab c #8c7373",
+".I c #f7f7f7",
+"#X c #ef8c00",
+"aS c #9c94bd",
+"#0 c #ce5a52",
+"bz c #b56352",
+"#n c #9c6b00",
+"#d c #4a2910",
+".o c #847b8c",
+"bk c #393129",
+"bK c #f7ffff",
+"aO c #522910",
+"bF c #ffffff",
+"#B c #cecede",
+"#o c #d6a510",
+"bl c #4a3129",
+"aU c #efbd00",
+"bn c #730018",
+"#v c #f7bd00",
+".A c #634a00",
+"aA c #7b0018",
+".N c #ffbd00",
+"#9 c #7b2108",
+"aV c #840018",
+"bx c #ce6b6b",
+"aR c #bd3139",
+".t c #635a7b",
+"bj c #5a3931",
+".R c #efc600",
+".a c #8c8c94",
+"am c #8c0018",
+"#c c #bdbdc6",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.#.a.bQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.c.d.e.f.g.hQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.c.i.j.k.l.m.n.o.cQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.p.d.q.k.k.k.k.l.r.s.t.uQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.v.w.r.k.x.x.x.x.k.k.y.z.A.oQt.u.B.#QtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.p.C.q.k.k.x.x.x.x.x.x.k.k.D.E.F.G.A.w.H.IQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.J.K.L.M.x.x.x.x.x.x.x.N.O.P.Q.f.R.k.S.T.d.U.VQtQtQtQtQtQtQtQtQt",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"QtQtQtQtQtQtaB#t.UaC.iaLai#k.i.tar#s.waMaN.9.M#h.x.x.k.N.1.OaGal#1ae#1#SaGaOafaP#PaQaRadadaA.bQt",
+"QtQtQtQtQt.H#3.u.#.U.EahahaSaDaTaraTaHaU#b.8.Y#f.0#h.N.O.1.O.Dal#1awaV#TalaWaXaXaYaK#8aeawaA#BQt",
+"QtQtQtQt.H.daZ.5.paB#3aLah#CaLaS.oaDaHat#vat.7aM#f.Z.O.1.1.OaGal#1adana0afa1a2a3a4adadaeadaA.bQt",
+"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",
+"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",
+"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",
+"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",
+"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",
+"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",
+"QtQt.Ja7aZaSaLbu.4ah#j#a#U#I.#.c.5#B.5.##sas#K#m.N#z.Obw.Cbza1aYa4adad#8.C#t#abbbAaA.g.IQtQtQtQt",
+"QtQt#2#3#Uah.Fbobuarbu.C#C#Cah.p.I.p.caBbBbCbDb.#D#mbt#pbEa2aYbxadaeae#8aabF.hbfbGbHQtQtQtQtQtQt",
+"QtQt#caCarahaE.taiaSbu#a#UahaSaT.F.p#caEbBbCbI.2bnalaHbzay#6bJaKadadae#8bl.IQtbK.c.IQtQtQtQtQtQt",
+"QtQt#2#aaDah#A#C#s#Abu#l#Uahbuai#kaS#AbobLbBbIb.bM#0#7#Paxa1#7aeaeaeaeavaaQtQtQtQtQtQtQtQtQtQtQt",
+"QtQt.IaB.wbfaSahaharbu.i#Uahboa.#kah#AbobLbL.QajbNbcbcaxaxaxaxaeadaead#8bh.IQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQt.I.gbO.t.Far#s.iaL#Ca7.FaEaS#A#3bLbLbBbPbQaxafbbbRafbcbdaeaeaeav#V.VQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQt.vbf.C#kai#3aL.Fa.aia.aL.4aEaEbLaEbPap#P#P#Zbba0afbdadaead#R.uQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQt.I.haB#t.wa7#s#saSaSah.4aEbLbB#lbSbf.C#O#Z#Q#Q#Qbdae#8bG.bQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQt.pbT.w#kaSaLah#AaEbB#l#cQtQt.J#3blbi#Paxawavaq.uQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQt.c#3bOaiaSaSaE#l.HQtQtQtQtQt.B.ibjbaae#R#JQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQt#2#3#aaEbsbUQtQtQtQtQtQtQt.V.U.dbh.uQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt.vbv.UQtQtQtQtQtQtQtQtQtQt.c.cQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt",
+"QtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQtQt"};