# HG changeset patch
# User wenzelm
# Date 900076750 -7200
# Node ID 95faaa02274adf50813d91bcf2f48712b28361e2
# Parent  99ffd3dfb18008239aad65cd88d7525a1e0b4ee0
added xpm icons;

diff -r 99ffd3dfb180 -r 95faaa02274a lib/logo/isabelle-small.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/logo/isabelle-small.xpm	Fri Jul 10 15:19:10 1998 +0200
@@ -0,0 +1,312 @@
+/* XPM */
+static char *isabelle[] = {
+/* width height num_colors chars_per_pixel */
+"   100    86      219            2",
+/* colors */
+".. c #ffffff",
+".# c #181818",
+".a c #212121",
+".b c #292929",
+".c c #313131",
+".d c #393939",
+".e c #636363",
+".f c #6b6b6b",
+".g c #737373",
+".h c #848484",
+".i c #9c9c9c",
+".j c #a5a5a5",
+".k c #adadad",
+".l c #bdbdbd",
+".m c #cecece",
+".n c #d6d6d6",
+".o c #dedede",
+".p c #f7f7f7",
+".q c #635a5a",
+".r c #d6bdbd",
+".s c #d6bdbd",
+".t c #8c735a",
+".u c #ad8c8c",
+".v c #e7a5a5",
+".w c #2d2e2d",
+".x c #e7a5a5",
+".y c #d69494",
+".z c #9c6b6b",
+".A c #845a5a",
+".B c #d66b6b",
+".C c #63424a",
+".D c #e77b7b",
+".E c #9c5252",
+".F c #100808",
+".G c #421818",
+".H c #d66b6b",
+".I c #de6b6b",
+".J c #bd5a5a",
+".K c #d66363",
+".L c #843139",
+".M c #d65a5a",
+".N c #a54242",
+".O c #ce5252",
+".P c #c64a4a",
+".Q c #de5252",
+".R c #421818",
+".S c #b54242",
+".T c #732929",
+".U c #ce4a4a",
+".V c #a53939",
+".W c #843139",
+".X c #ce4242",
+".Y c #b54242",
+".Z c #521818",
+".0 c #ad3131",
+".1 c #210000",
+".2 c #731818",
+".3 c #ce2121",
+".4 c #ad1818",
+".5 c #941821",
+".6 c #ce1010",
+".7 c #9c0000",
+".8 c #c60808",
+".9 c #210000",
+"#. c #520000",
+"## c #520000",
+"#a c #7b0000",
+"#b c #9c0000",
+"#c c #c60000",
+"#d c #c60000",
+"#e c #ce0000",
+"#f c #c60808",
+"#g c #d6524a",
+"#h c #ce2121",
+"#i c #520000",
+"#j c #731818",
+"#k c #ce2100",
+"#l c #bd2900",
+"#m c #9c2100",
+"#n c #bd2900",
+"#o c #845242",
+"#p c #d67352",
+"#q c #ce5a31",
+"#r c #391000",
+"#s c #ad8473",
+"#t c #ad8c8c",
+"#u c #291810",
+"#v c #8c4221",
+"#w c #842900",
+"#x c #d64200",
+"#y c #a53900",
+"#z c #bd6310",
+"#A c #ef8442",
+"#B c #bd6310",
+"#C c #d66300",
+"#D c #ef6b10",
+"#E c #ad6b31",
+"#F c #5a2900",
+"#G c #d66300",
+"#H c #bd6310",
+"#I c #8c735a",
+"#J c #e7ad73",
+"#K c #efe7de",
+"#L c #de7b08",
+"#M c #f78400",
+"#N c #946b39",
+"#O c #735229",
+"#P c #ce9c52",
+"#Q c #945200",
+"#R c #6b5a42",
+"#S c #bd8c4a",
+"#T c #ff9400",
+"#U c #ce9c52",
+"#V c #ffa518",
+"#W c #ffa518",
+"#X c #ff9c00",
+"#Y c #ad9431",
+"#Z c #f7b539",
+"#0 c #f7b539",
+"#1 c #d69418",
+"#2 c #a58442",
+"#3 c #f7b539",
+"#4 c #bd8410",
+"#5 c #ffad00",
+"#6 c #ce9c52",
+"#7 c #846318",
+"#8 c #d69418",
+"#9 c #ffa518",
+"a. c #a58442",
+"a# c #423100",
+"aa c #ffbd00",
+"ab c #bdad7b",
+"ac c #deb539",
+"ad c #ffce39",
+"ae c #efde9c",
+"af c #ffd642",
+"ag c #735a00",
+"ah c #9c7b00",
+"ai c #c69c00",
+"aj c #c69c00",
+"ak c #e7b500",
+"al c #e7b500",
+"am c #ffe773",
+"an c #dec65a",
+"ao c #dec65a",
+"ap c #ffd642",
+"aq c #ad9431",
+"ar c #ad8c00",
+"as c #ffce00",
+"at c #ffe773",
+"au c #ffd610",
+"av c #5a4a00",
+"aw c #ffd600",
+"ax c #e7ce42",
+"ay c #fff7bd",
+"az c #c6b531",
+"aA c #ffd610",
+"aB c #ffef00",
+"aC c #fff7bd",
+"aD c #ffff9c",
+"aE c #ffff84",
+"aF c #ffff4a",
+"aG c #ffff31",
+"aH c #ffff10",
+"aI c #ffff00",
+"aJ c #e7e7f7",
+"aK c #dedeef",
+"aL c #666666",
+"aM c #52525a",
+"aN c #8c8c9c",
+"aO c #42424a",
+"aP c #cecee7",
+"aQ c #737384",
+"aR c #a5a5bd",
+"aS c #3b3b3b",
+"aT c #5a5a6b",
+"aU c #737394",
+"aV c #424252",
+"aW c #63637b",
+"aX c #737394",
+"aY c #181821",
+"aZ c #42394a",
+"a0 c #292942",
+"a1 c #525284",
+"a2 c #292952",
+"a3 c #21214a",
+"a4 c #000018",
+"a5 c #000039",
+"a6 c #000042",
+"a7 c #ada5d6",
+"a8 c #9c94c6",
+"a9 c #948cb5",
+"b. c #a59cce",
+"b# c #847ba5",
+"ba c #cec6e7",
+"bb c #9696ae",
+"bc c #736b8c",
+"bd c #6b6384",
+"be c #c6bdde",
+"bf c #524a63",
+"bg c #42394a",
+"bh c #cec6ce",
+"bi c #292129",
+"bj c #080008",
+"bk c #867986",
+"bl c #845a5a",
+"bm c #635a5a",
+"bn c #63424a",
+"bo c #a6798e",
+"bp c #b55263",
+"bq c #9c6b6b",
+"br c #63424a",
+"bs c #9c6b6b",
+"bt c #843942",
+"bu c #5a2129",
+"bv c #bd6b73",
+"bw c #843139",
+"bx c #941821",
+"by c #000000",
+/* pixels */
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"...................................................................................ibyaN................................................................................................................",
+".....................................................................p..........aMaObyby.f..............................................................................................................",
+"....................................................................by.i......bh.q...jbyby..............................................................................................................",
+"...................................................................jbyby.......c.e...oby................................................................................................................",
+"....................................................................byby.i....by.a..by....#K............................................................................................................",
+"...............................................................#.p...kbyby....bybyby.o.....c............................................................................................................",
+"............................................................bkby.#....byby.i..aOby.b......bj............................................................................................................",
+"..............................................................byby.p...kbyby..#Kbyby.caNby.n.......i.o..................................................................................................",
+"...............................................................eby.#....byby.i...dbybyby.j......aVbybybg.p..............................................................................................",
+"................................................................byby.p...nbyby....aN.#.m......aTbyaz.hbybj.f#K..........................................................................................",
+".................................................................eby.#....byby.f............aTbyazaIaIaB#IbybyaS#K......................................................................................",
+"..................................................................byby.p...nbyby..........aTby#RaIaIaIaIaIaB#Ibybybg.p..................................................................................",
+"............................................................bh.p...eby.#....bybyaN......aObyagaIaIaIaIaIaIaIaIaH#2bybybfaJ..............................................................................",
+"..........................................................bybyby.l..byby.p...naM......aOby.oaIaIaIaIaIaIaIaIaIaIaIaI#Obybya0aK..........................................................................",
+".........................................................#..aObyby..aNbyby..........a0by.oaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#Pbybybh....aTa0aJ..............................................................",
+"......................................................#Kbj....bj.b....byby.k......a0by#YaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#VbyaR..aVbybyby.c.p..........................................................",
+"......................................................bkby...jby......aNby......aRbyaxaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#5#5#xbyb#a3byawaH#sbybyaO.p......................................................",
+"......................................................aObybhby....#K............aWby....aDaIaIaIaIaIaIaIaIaIaIaIaIaB#5#X#5#nby.bbyaAaIaIaIaH#2bybyaV.o..................................................",
+"......................................by.p.............hbyby.......g............bdbj.p....aEaEaIaIaIaIaIaIaIaIaIaI#5#X#X#0#nbybyawaIaIaIaIaIaIaH#tbybya0.p..............................................",
+"....................................aOby.#....aNbyby...nbyby.i...nby............bdbyasafas....aDaIaIaIaIaIaIaIaB#X#X#X#Xad#nby#YaIaIaIaIaIaIaIaIaIaH#Ubybya0b..p........................................",
+".....................................pbyby.p.mbybybyby..bjbybybyby.o............bdbyaaauasauasam....aFaIaIaIaB#3#X#X#X#Xad#nby#1aIaIaIaIaIaIaIaIaIaIaIaI#Ybjbybg.o......................................",
+"......................................aObybjbj...obyby.i..bybyby.o..............aRby#5aBasasasas#K#KaCaEaEaBap#T#X#X#X#Xad#nby#8aIaIaIaIaIaIaIaIaIaIaIaIaIaIacbya0......................................",
+".......................................pbyby.c.....eby.c.....p............aJaQ...oby#5aBakalasasasasay....#Z#X#X#X#X#X#Xad#lbyaqaIaIaIaIaIaIaIaIaIaIaIaIaHaw#9.c.c......................................",
+"........................................aObyby......bybj................aJbjbybja0bjauaBak.#asasasasajauau#X#X#X#X#X#X#Xad#lbya.aIaIaIaIaIaIaIaIaIaIaIaB#0#T#A.ca0......................................",
+"..........................................byby.k.....#by...............oaM.#aRaYbybyaaaBawbyawasasa#agasas#X#X#X#X#X#X#Xad#faYboaIaIaIaIaIaIaIaIaIaIaB#T#X#X#A.c.c......................................",
+"...........................................eby.b.....f.F.............obybj..ba..aVby#5aBawbybyavarbyawasas#5#X#X#X#X#X#Xad#kby.FaVasaIaIaIaIaIaIaIaH#X#X#X#X#D.c.c......................................",
+"..................................byby.h....byby.l...F.l..........aJbybjaJbaaP..a1by#5aBasa#akaibyakasasas#3#X#X#X#X#X#Xad#pbybtbjby.GaoaIaIaIaIaB#X#X#X#X#X#Dby.c......................................",
+"................................bybybyby.....ebyby.a.q..........aJaYbjaJaPaPaP..bd.d#5aBasahahakbyawasasas#5#X#X#X#X#X#X#W#kbybv#g.P.aby.FaoaIaB#X#X#X#X#X#X#Dby.c......................................",
+"..............................aN.j..bjby.f....by.i#K..........aJbjbj.paPaPaPaP..bdbyaEaBasala#byasasasaaaw#5#X#X#X#X#X#X#XbwaY.y.U.U.U.Qbwbybu#T#X#X#X#X#X#X#Dbya0......................................",
+"..............................by....bybyby.....q............aJbybjaJbaaPaPaPaP..bdbyauasasawbya#asaw#Eby.9#S#X#X#X#X#X#X.W.a.M.U.U.U.U.U.U#eby#x#X#X#X#X#X#X#Dby.b......................................",
+"...............................d...m.lbjbyaO.p............aJbjbjaKaPaPaPaPaP.n..a1bj.Rauasasakasas#wby#Sa4by.F#J#X#X#X#mbybr.U.U.U.U.U.3#d#eby#P#X#X#X#X#X#X#V.#bi......................................",
+".........................e.f......by..#Kbyby.b...........pbybj.p..aPaPaPaPaPaPaK.laQ.nby#Nawasaw#oby#6aIaIan.Fby.c#O#wbybm.U.U.U.O.K.Y#d.8#eby#H#X#X#X#X#X#X#C.daOaN....................................",
+".......................a.c.a....bhby.....aby............aJby.c....aJaPaKaPaPaPaPaJ.....i.cbj#S#Qby#6aIaIaIaIaIac.Fbyby.a#g.U.U.H.n.M#d#d#d#eby#H#X#X#X#X#X#X#Mby.wbyaY.o................................",
+"............aM.......m.k........aNby.a.j.n..............aJbyaYa7b.aK....aJaPaPaPaPaPba...objbyby#7aIaIaIaIaIaIaIaIac.aby.bbo#g.o.I.6#d#d#d#eby#H#X#X#X#X#X#X#5byaN.P.#byby.j............................",
+"...........aby.......a.p...g.c.j.nbybyby.................pbybja7b.a7aPbeaJ....aPaPaP.paJaW.bby#RaIaIaIaIaIaIaIaIaIaIaIaf.#bybj.A#d#d#d#d#d#eby#H#X#X#X#X#X#X#Mbybf.X#g.Pbl.cbj.l........................",
+"..........byby.d....bybybybybyby..aMby.p.................pbybjaPa8b.b.b.aP.p.paKaKaPaKa2bybyaOaIaIaIaIaIaIaIaIaIaIaIaIaIaIac.Fby.##b#d#d#d#eby#H#X#X#X#X#X#XbsaO.x.U.U.U.U.X.Tby.l......................",
+"..........bhbyby....aNbybybybyby.p........................bybjaPb.b.b.b.b.b.a7aJ....a5bjby#NaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#0by.N#d#d#d#eby#H#X#X#X#X#X.Aby.S.U.U.U.U.U.Y#e#.aN......................",
+"............byby.c.....b.d.n.pby.p..................aJ....bybjaPb.b#b.b.b.b.b.bebea7bjbyabaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIauas.Kbybx#d#d#d#eby#4#X#X#X#X.Lby.S.U.U.U.U.O.8#d#d#.aN......................",
+".............mbyby.p..........by...................nbjby.obybjaPb.aXbybjaUa7b.b.b.bbbjbyaFaFaHaIaIaIaIaIaIaIaIaIaIaIaIaBad#T#5bpbybx#d#d#d#eby#C#X#X#X#vbybw.U.U.U.H.r#h#d#d#d#.bf......................",
+"..............byby.b.....f#K.e.h................aPbybi.#bybya4aPb..#a9a7aVbyaVb.b.a7bjby....aCaIaIaIaIaIaIaIaIaIaIaIaIaa#T#Xaa.Jby.5#d#d#d#eby#z#X#X#ibybw.U.U.U.H.r.K#d#d#d#d#.bf......................",
+"...............mbyby.p...pby.h................aJbyaY.paKaTbya4bab.a8.bbyaTb.a8b.b.a8aYbyafawad....aGaIaIaIaIaIaIaIaIaf#X#X#Xaa.Jby#a#d#d.6#eby#B#X#jbybw.U.O.U.M.r.X#d#d#d#d#d#.bd......................",
+"................byby.b......................aJaYaYaKaPaK.p.fa4bab.b.b.a7aX.#a7b.b.a8.cbyaGasasaDae..aE..aHaIaIaIaIau#T#X#X#Xaa.Jbj#a#d#d#d#eby#L#ibybm.M.0#h.X.o.M#d#d#d#d#d#d#.aW......................",
+".................mbyby.p..................aKbjaY..aPaPbaaJaObja7b.b.b.b.b.b.b.b.b.b.aVbyadaBasasasaf....aEaIaIaBat#T#X#X#X#Xaa.Jbj#a#d#d#d.0.9#aby.u.v.U.v#K#K.X.3#d#d#d#d#d#d#.aW......................",
+"..................byby.q................baby.d.paPaPaPaP#Kby.cb.b.b.b.b.b.b.b.b.b.b.a5byadaBasalasasasas......aa#T#X#X#X#X#Xaa.Ybj#a#d#d#b.cbyby.E.U.U.3.o...p#h#d#d#d#d#d#d#d#.aW......................",
+"...................m.d................aPaY.caPaPaPaPaPaK.pby.Fa9b.b.b.b.b.b.a9bgbya2bfbyafaBas.9awasasasasayae#X#X#X#X#X#X#Xaa.Ybj#a#d.Vby.c.0bs.U.U.U.U.X.X.X#d#d#d#d#d#d#d.3#.aW......................",
+"....................................aP.c.daKaPaPaPaPaPaJ.paYbybyaNa8b.b.b.a7bgbybfbjbybyaHaBas.#awasasasasasas#X#X#X#X#X#X#Xaa#qbj##.7by.T.7.P.U#g.U.Q.U.U.U.H#d#d#d#d#d#d#d.3#.a9......................",
+"..................................aKby.caJaKaPaPaPaP.n.oaPaQaMbyby.bbea8b.a4bjaKaPaP.#byawaBas.Fakawasasasasas#X#X#X#X#X#X#Xau#dbybybj.9#h.4.H#g#u.Tbw.S.T.P.U#d#d#d#d#d#d#d.3#.aR......................",
+"...................................lby.l....aPaPaPaPaPaPaP#K.paJ.cbybyaO.ibyaKaPba..a1byawaBaw.9ah.Fahawasasas#X#X#X#X#X#X#Xaa#qby.abyby.R.K.X.Vby#g#gbu.1#g.U#d#d#d#d#d#d#d.6#..g......................",
+"...................................lbyaRaPbe......baaPaPaPaPaJaP.maW.FbybyaJaPaPaP.pa1byawaBaw.#awawala#awasas#X#X#X#X#X#X#Xaa#B.F.J.OaOaYby.fbr.T.U.Uby.V.U.U#d#d#d#d#d#d#d#e##aN......................",
+"...................................lbya3b.b.aPaJ.paJaJaJaPaPaPaK..bfbyby.oaPaPaPba..a1aYasaBasavasasasasasasas#5#X#X#X#X#X#X#X#a.#.y.U.U.Ubq.wby.R#g.Qby.O.U.U#d#d#d#d#d#d#e.Z.a.o......................",
+"..................................aPbya2beb.b.b.b..p....aPaPaKaPa4by.F.naPaPaPaPba..a1bjawasasasasasasasasasas#5#X#X#X#X#X#X#ybi#s.U.U.U.U.U.U#aby.1bu.S.R.Q.U#d#d#d#d#d#d#d.d.o........................",
+"...................................obyaZbeb.b.b.b.beb.aK....aPa4.jbybhaKaPaPaPaPaP..aXbjacawasasasasasasasasas#5#X#X#X#X#X#m.bbw.U.U.U.U.U.X#d#d.#.0.U.U.U.U.U#d#d#d#d#d#aby.m..........................",
+"...................................obyaVbeb.b.b.aXbjb.b.aPaKaRbybjbhaJaPaPaPaPaP.naJb#.eaM#uauasasasasasasasas#5#X#X#X#X#Gbjbu.U.U.U.O.M.0#d.8#dbjbp.U.U.U.U.U.0#d#d#d.2.qbh............................",
+"..................................aPbyaVbeb.b.b.bfb#a9b.b.a8aNbyaT....aJbabaaPaPaPaPaK#K.paQby#Fasasasasasasas#5#X#X#X#Lbybu#g.U.U.X.n.s#d#d#d#dby.a.v.U.U.U.H.3#d#e#a.#.m..............................",
+"...................................obyaVbeb.b.b.b.a7bfb.b.b.aXbyaNaJbeaJ....aPaPaPaPaPaPaP#KaRbyby#Eawasasasas#5#X#X#Gbj.R#g.U.U.X.o.M.6#d#d#d#dbybybyaO.B#g.K.6#e#.by.m................................",
+"...................................obyaVbeb.b.b.b.bcaYb.b.b.aUbyaSb.b.beaJ.paJaJaJaPaPaPaK.p.ibybybybja.awasas#3#X#Gby.##g.0.U.X.y.O#d#d#d#d#d#dby.laNbjbya4.D.8#.aObh..................................",
+"..................................aKbya1a7b.b.b.a7byaTb.b.b.aXbya4bab.b.b.a8aK....aPbaaPaJaV.#a5.Fby.Fbyby#Qaa#W#xbybi.o.U.3.K.y.K.0#d#d#d#d#d#dbybh....aWbyby.C.c.o....................................",
+"..................................bebya1a7b.b.a7biaTaXb.b.b.aNbya4aPb.b.b.b.a7a7aK....#KaZa3a5a5bjbybyby#rbybyby.a.w.M.0.U....#K#d#d#d#d#d#d#d#dbyaP.......pbhbg.o......................................",
+"..................................bebyaUb.b.b.aTbjb.b#b.b#b.aXbya4aKa8b.b.a8aWaWb.baaPbebda3a5a6bybybjby.4#d#uby#u.X.U.0.U.r#K.x#d#d#d#d#d#d#d#dby.o....................................................",
+"..................................beby.hb.b.b.a9b.b.a7byaWb.aX.Fa4aKa8b.b.bib.a8byb.a8b#.da5a5a5.bbybyby.F#e.0#f.I.U.U.U.U#d.O#d#d#d#d#d#d#d#d#cby.o....................................................",
+"...................................nbyby.#aRb.b.b.b.b.b.b.b.aUbybgaPa8b.a8byb.a9bjb.b.aN.Fa5a5a5a5a3byby.F.3.U.H.U.U.U.U.U.O.U.0#d#d#d#d#d#d#d#dbyaJ....................................................",
+".....................................la0by.FaQa8b.b.b.b.b.b.aXbyaZaPa8b.aXaYbgaYa7b.b.aN.Fa6a5a5a6a4byby.t.6.z.S#g.U.U.U#g.U.U.3#d#d#d#d#d#d#d#d.9#K....................................................",
+".........................................o.#by.bb#a7b.b.b.b.a9bjaZbab.b.aTbgb.a8a0b.b.b..#a5a5a5a5a5byby.#.M#g.W.F.T.O#g.R#g.U.3#d#d#d#d#d#d#d#dby.o....................................................",
+".............................................i.FbyaYb#b.b.b.b#.FaVa7b.b.bjaXb.a8byb.b.a8.ca5a5a5a5a5a5.##j.U.U.U.U.U.Rby.V#u#g.3#d#d#d#d#d#d#d#dby.p....................................................",
+"...............................................paLbyby.daNa7a8by.gb.b.a7bybda7aSaVb.b.a8bfa5a5a5a5a5a4.qbx.X.U.U.U.U.U.Ubwbyby.3#d#d#d#d#d#d#cbya9......................................................",
+"..................................................aJaVbyby.dbfby.ea9b.a7bya7aVa9b.b.b.a8a3a5a5a5a5a2.aby.9aM.B#g.U.U.U.P.S.P.X#g#d#d#d#d#d#b.GaR........................................................",
+".........................................................iaVbjbyby.FaRa8bya7b.b.b.b.b.a8a5a3a5a5a6.#byaO.abybyaMbv.U.U.U.U.U.U.O#d#d#d#d#d.GaR..........................................................",
+".............................................................p#KaMbyby.ia9b.b.b.b.b.b.b.a5a3a5a6by.abe....bebibybybn.Q.U.U.U.U.M#d#d#d.4.FaN............................................................",
+"...................................................................p.dby.FaTbbb.b.b.b.a8a6a5a5.caY............#K.i.dby.u#g.U.U.M#d#d.2.aaN..............................................................",
+"......................................................................aKbiby.Fbfa9b.b.a7a5a6bjbj..................aPaWbybybs.P.3#d#c.aaN................................................................",
+"..........................................................................aN.#by.Fbka9b.aWbybj.p......................bh.bbybj.K.8by.i..................................................................",
+"..............................................................................aNbjbyby.gbibyaP............................aRbyby#uaN....................................................................",
+"...................................................................................naObjbyba...................................pbh......................................................................",
+"........................................................................................aJ..............................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................"
+};
diff -r 99ffd3dfb180 -r 95faaa02274a lib/logo/isabelle-tiny.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/logo/isabelle-tiny.xpm	Fri Jul 10 15:19:10 1998 +0200
@@ -0,0 +1,318 @@
+/* XPM */
+static char *isabelle-tiny[] = {
+/* width height num_colors chars_per_pixel */
+"    66    56      255            2",
+/* colors */
+".. c #ffffff",
+".# c #181818",
+".a c #212121",
+".b c #292929",
+".c c #313131",
+".d c #393939",
+".e c #636363",
+".f c #6b6b6b",
+".g c #737373",
+".h c #848484",
+".i c #9c9c9c",
+".j c #a5a5a5",
+".k c #adadad",
+".l c #bdbdbd",
+".m c #cecece",
+".n c #d6d6d6",
+".o c #dedede",
+".p c #f7f7f7",
+".q c #cecece",
+".r c #635a5a",
+".s c #d6bdbd",
+".t c #d6bdbd",
+".u c #84737b",
+".v c #ad9c94",
+".w c #e7a5a5",
+".x c #392929",
+".y c #e7a5a5",
+".z c #de9494",
+".A c #9c5a63",
+".B c #845a5a",
+".C c #de9494",
+".D c #de9494",
+".E c #5a3939",
+".F c #ce7373",
+".G c #5a3939",
+".H c #e77b7b",
+".I c #9c5a63",
+".J c #100808",
+".K c #421818",
+".L c #de6b6b",
+".M c #de6b6b",
+".N c #b55263",
+".O c #d66363",
+".P c #843942",
+".Q c #d65a5a",
+".R c #a54242",
+".S c #ce5252",
+".T c #c64a4a",
+".U c #de5252",
+".V c #421818",
+".W c #a54242",
+".X c #732929",
+".Y c #ce4a4a",
+".Z c #a54242",
+".0 c #943131",
+".1 c #ce4242",
+".2 c #ad3131",
+".3 c #421818",
+".4 c #ad3131",
+".5 c #210000",
+".6 c #631810",
+".7 c #ce2121",
+".8 c #ad1818",
+".9 c #941821",
+"#. c #ce1010",
+"## c #9c0000",
+"#a c #9c0000",
+"#b c #c60808",
+"#c c #210000",
+"#d c #520000",
+"#e c #5a0000",
+"#f c #7b0000",
+"#g c #9c0000",
+"#h c #c60000",
+"#i c #c60000",
+"#j c #ce0000",
+"#k c #c60808",
+"#l c #d6524a",
+"#m c #ce4a4a",
+"#n c #ce2121",
+"#o c #5a0000",
+"#p c #631810",
+"#q c #bd2900",
+"#r c #bd2900",
+"#s c #9c2100",
+"#t c #bd2900",
+"#u c #845a31",
+"#v c #d67352",
+"#w c #ce4a21",
+"#x c #ce4a21",
+"#y c #391000",
+"#z c #7b2100",
+"#A c #ad8473",
+"#B c #ad9c94",
+"#C c #291810",
+"#D c #8c4221",
+"#E c #7b2100",
+"#F c #d64200",
+"#G c #e76321",
+"#H c #b54200",
+"#I c #ce4a21",
+"#J c #b54200",
+"#K c #ef8442",
+"#L c #ad6310",
+"#M c #d66300",
+"#N c #9c6b4a",
+"#O c #e76321",
+"#P c #8c3900",
+"#Q c #e7a573",
+"#R c #ad6b31",
+"#S c #5a2900",
+"#T c #d66300",
+"#U c #ef8421",
+"#V c #ad6310",
+"#W c #948452",
+"#X c #e7a573",
+"#Y c #845a31",
+"#Z c #423100",
+"#0 c #efe7de",
+"#1 c #f7ad5a",
+"#2 c #846318",
+"#3 c #ad6310",
+"#4 c #ad6310",
+"#5 c #de7b08",
+"#6 c #f78400",
+"#7 c #9c6b4a",
+"#8 c #845a31",
+"#9 c #ce9c52",
+"a. c #945200",
+"a# c #6b5a42",
+"aa c #bd8c4a",
+"ab c #ff9400",
+"ac c #ad8473",
+"ad c #ce9c52",
+"ae c #d69431",
+"af c #ff9c00",
+"ag c #ce9c52",
+"ah c #ffb529",
+"ai c #ff9c00",
+"aj c #ad9431",
+"ak c #ffb529",
+"al c #ffb529",
+"am c #d69418",
+"an c #734a00",
+"ao c #aea671",
+"ap c #948452",
+"aq c #634a18",
+"ar c #ffce39",
+"as c #bd8410",
+"at c #ffad00",
+"au c #ce9c52",
+"av c #846318",
+"aw c #d69418",
+"ax c #ffb529",
+"ay c #ad9431",
+"az c #9c7b00",
+"aA c #423100",
+"aB c #d6ad00",
+"aC c #ffbd00",
+"aD c #bdad7b",
+"aE c #948452",
+"aF c #deb539",
+"aG c #ffce39",
+"aH c #deb539",
+"aI c #e7d79e",
+"aJ c #ffce39",
+"aK c #734a00",
+"aL c #9c7b00",
+"aM c #bd8410",
+"aN c #d6ad00",
+"aO c #efbd00",
+"aP c #efbd00",
+"aQ c #e7d68c",
+"aR c #cebd73",
+"aS c #ffe773",
+"aT c #d6bd52",
+"aU c #d6bd52",
+"aV c #f7d652",
+"aW c #ad9431",
+"aX c #846b00",
+"aY c #bd8410",
+"aZ c #d6ad00",
+"a0 c #ffce00",
+"a1 c #ffe773",
+"a2 c #ffd610",
+"a3 c #5a4a00",
+"a4 c #ffd600",
+"a5 c #e7ce42",
+"a6 c #fff7bd",
+"a7 c #c6b531",
+"a8 c #efd618",
+"a9 c #ffe773",
+"b. c #ffef00",
+"b# c #fff7bd",
+"ba c #ffff84",
+"bb c #ffff84",
+"bc c #ffff5a",
+"bd c #ffff5a",
+"be c #ffff31",
+"bf c #ffff10",
+"bg c #ffff00",
+"bh c #e7e7f7",
+"bi c #dedeef",
+"bj c #63636b",
+"bk c #52525a",
+"bl c #8c8c9c",
+"bm c #42424a",
+"bn c #cecee7",
+"bo c #737384",
+"bp c #a5a5bd",
+"bq c #3b3b3b",
+"br c #5a5a6b",
+"bs c #7b7b94",
+"bt c #424252",
+"bu c #63637b",
+"bv c #737394",
+"bw c #181821",
+"bx c #42394a",
+"by c #292942",
+"bz c #525284",
+"bA c #292952",
+"bB c #292952",
+"bC c #000018",
+"bD c #000039",
+"bE c #000042",
+"bF c #ada5d6",
+"bG c #9c94c6",
+"bH c #948cb5",
+"bI c #a59cce",
+"bJ c #847ba5",
+"bK c #cec6e7",
+"bL c #9696ae",
+"bM c #737394",
+"bN c #6b6384",
+"bO c #c6bdde",
+"bP c #524a63",
+"bQ c #42394a",
+"bR c #cec6ce",
+"bS c #292129",
+"bT c #080008",
+"bU c #84737b",
+"bV c #845a5a",
+"bW c #635a5a",
+"bX c #5a3939",
+"bY c #a6798e",
+"bZ c #b55263",
+"b0 c #9c5a63",
+"b1 c #843942",
+"b2 c #9c5a63",
+"b3 c #843942",
+"b4 c #5a2129",
+"b5 c #bd6b73",
+"b6 c #843942",
+"b7 c #941821",
+"b8 c #000000",
+/* pixels */
+"....................................................................................................................................",
+"....................................................................................................................................",
+"....................................................................................................................................",
+"....................................................................................................................................",
+"....................................................................................................................................",
+"........................................................bR..........................................................................",
+"..............................................bR.......ab8b8........................................................................",
+".............................................kb8.....i....b8........................................................................",
+"..............................................b8.i..b8..b8..#0......................................................................",
+".........................................nb8..bmb8..b8b8....b8......................................................................",
+"..........................................b8.p..b8.i#0b8.cbk.n.....o................................................................",
+"..........................................b8b8...eb8..bTb8.j....b8b8.##0............................................................",
+"............................................b8.p..b8.f........b8a7bga7b8b8#0........................................................",
+"............................................b8b8...eb8......b8aqbgbgbgbgaVb8bT#0....................................................",
+"......................................b8b8b8..b8.f...p..bRb8bcbgbgbgbgbgbgbgbgazb8bQ....#0..........................................",
+"....................................#0#0..b8..blb8....bRb8bfbgbgbgbgbgbgbgbgbgbgb.b8..bt.Jb8.j......................................",
+".....................................f.rb8.......j....b8bfbgbgbgbgbgbgbgbgbgb.aba0b8bmaAbgbf#Cb8bp..................................",
+"...........................J.........hb8.....g........b8.p..bbbgbgbgbgbgbgbgabaia0b8aAbgbgbgbgbf.db8bp..............................",
+".........................kb8...jb8b8..b8b8.gbk........b8a0a0..#0bbbgbgbgb.abaiaia0b8b.bgbgbgbgbgbgb..xb8bv..........................",
+"..........................b8bT.i.ob8.i.eb8.c..........b8ata0a0a0#0b#bbb.afaiaiaia0b8bgbgbgbgbgbgbgbgbgbg#Sby........................",
+"...........................kb8.p..b8b8............bC.lb8aCa4aAa0a0a2..axaiaiaiaiatb8bfbgbgbgbgbgbgbgbeaib3by........................",
+"............................b8bT..#0b8..........bk.ibwb8aCa0b8a0a0aKa0aiaiaiaiaiatbwa7bgbgbgbgbgbgb.abaib3.c........................",
+".........................d...nb8.....r........bybHbn..b8ata0b8b8b8a0a0alaiaiaiaiaCb8b8.Kb.bgbgbgbfabaiaib6.c........................",
+"......................b8b8.f..b8b8b8........bwblbnbn..b8ata0aLa4b8a0a0ataiaiaiaiaib8#m.TbT.Jb.b.abaiaiai.X.c........................",
+".....................a...ab8...n#0.........#bJbibnbn..b8a2a0aPaAa4a4anataiaiaiai.IbX.Y.Y.Y.Ub8#Maiaiaiai.X.b........................",
+".....................d...lb8bm.p........bTblbnbnbn.n...c.Va0a0aMa0b8.Eb8.Paiai#sb8.Y.Y.Y.Y#i#f#9aiaiaiaib3bS........................",
+"................b8....bm..bUb8........bjbC..bhbnbnbnbn#0...Jaga0b8bfbgbg#Yb8b8bC.Y.Y.S.D#i#b#f#Vaiaiaiai#abTbo......................",
+"........bk....bT......b8.ab8..........brbwbFbi..bhbnbnbnbK..bTb8avbgbgbgbgbg#Wb8.i#l.w#.#i#i#f#Vaiaiaiai.Pbl.Bb8.b..................",
+".......jb8....b8b8b8b8.ob8............blbTbObIbIbn.pbibibib8b8aSbgbgbgbgbgbgbgbga4.JbT#g#i#i#f#Vaiaiaiai.#.y.Y.Y#l.Xbw..............",
+"........b8b8..b8b8.bb8................bNbTbObIbIbIbIbi..bwb8a4bgbgbgbgbgbgbgbgbgbgbgbQ.0#i#i#fasaiaiai.c.W.Y.Y.Y.7#ib8..............",
+".........mb8.p......b8............bkb8bubTbObvb8bsbIbIbIbTaobdbgbgbgbgbgbgbgbgb.arat#Cb7#i#i#f#Maiai.cb6.Y.Y.q#n#i#ib8..............",
+"..........b8b8..bl.J.............gbwbLb8bCbO.#bybFbSbIbIbw.lb#..bbbgbgbgbgbgbgaiaiaCb8#f#i#.#f#Jaib8b6.Y.Y.q#l#i#i#ib8..............",
+"...........mb8.p..............brbwbnbibMbCbIbIbIbvbkbIbI.c#za0a0aIbbbabgbgbgaiaiaiaCb8#f#i#i#f#5b8bW.Y#n.z.Q#i#i#i#ib8..............",
+"............b8b8............bPbSbibnbnbQ.#bIbIbIbIbIbIbIbw#Eb.a0a0aI....bdalaiaiaiaCb8#f#i#j.Vb8.v.1.S...C#i#i#i#i#ib8..............",
+".............m.p..........bx.cbnbnbnbibH.JbIbIbIbIbIbQbSbP#Db.aPa4a0a0a6a1aiaiaiaiaCb8#f#jb8.0b2.Y.Y.Y.1.7#i#i#i#i.7b8..............",
+"........................bx.cbKbnbnbn#0bpb8b8.lbIbIbwbtbOb8#Pb.aPa4a0a0a0a0aiaiaiaiaC#c#cb8#n#g.Y.X.X#l.Y#.#i#i#i#i.7b8..............",
+"........................b8....bKbnbnbnbi.p.kb8b8.ibtbnbhbz#Eb.aPaLaLa4a0a0aiaiaiaiaC#c.ab8.V#l.Z.T#lb8#l#.#i#i#i#i#.b8..............",
+"........................b8bFbI....bKbKbnbK..bsb8btbnbnbibz#2b.aPa4a0a0a0a0aiaiaiaiaib8b5.UbYb8bS#l#lb4.Y#.#i#i#i#i#ibT..............",
+"........................b8bnbIbIbI....bKbibMb8brbnbnbnbhbz#Ra0a0a0a0a0a0a0aiaiaiai#HbT.Y.Y.Y#l#fb8b4.J.U#.#i#i#i#j.d................",
+"........................b8bibIbIbFbIbF...lb8brbKbnbnbn..bub8aha0a0a0a0a0a0aiaiai#Tb8.Y.Y.Y.S#i#i.g.Y.Y.Y#.#i#i#i.c..................",
+"........................b8bnbIbIbP.JbIbGblb8....bKbnbnbnbi.pbob8a0a0a0a0a0aiai#5b8#l.Y.1.n#i#i#ib8.w.Y.Y.D#i#g.#....................",
+"........................b8bKbIbIbIbybIbIbsb8bFbF....bKbnbnbn..byb8aaa4a0a2ai#Tb8#l.Y.1.s#b#i#i#ibqb8bC.I.2#hbT......................",
+"........................b8bObIbIbNbJbIbIblb8bKbIbIbIbnbhbh.nbEbD.JbTb8b8#Vb6.c.F.Q#0.S#i#i#i#i#ibS....bub8bs........................",
+"........................b8bFbIbIbTbIbIbIbvb8bibIbIbsbubFbnbobBbDb8bT#c#i.a#C.Y.4.F#0#m#i#i#i#i#i.b..................................",
+"........................b8btbIbIbIbIbQbIbvb8bibIbIbPbGbHbIbrbDbDbDb8b8#j.1.Y.Y.Y.1.S#i#i#i#i#i#hbw..................................",
+".........................lb8.JbHbIbIbIbIbvb8bnbIbvbJbwbIbIbkbEbDbEb8b8#..P#l.Y.Y.Y.Y#i#i#i#i#i#ibQ..................................",
+"............................bRb8bmbHbIbIbJb8bObIbQbFbGbsbIbjbDbDbDbCb8#l.Y.T.J.Wb8#l#i#i#i#i#i#jbk..................................",
+"................................bjb8.dbHbGb8bIbIb8bJbqbFbIbPbDbDbDbCb8.1.Y.Y.Y.Y.Vb8#i#i#i#i#jb8.p..................................",
+"....................................bob8b8b8bsbIb8bIbIbIbIbPbEbDbDb8b8b8b2#l.Y.Y.Y.Y#i#i#i#jbT.p....................................",
+".........................................pbRb8.bbHbIbIbIbIbtbBbDb8bO..bOb8b8.T.Y.Y.Y.7#i#j.J.p......................................",
+"..............................................blb8.hbHbIbIbobEb8bp.........o.fbT.O.Y.7#j.#.p........................................",
+"..................................................bSb8bUbHbIb8bo..............bRb8bT#.b8.p..........................................",
+"......................................................bkb8b8br....................bl.d.p............................................",
+"....................................................................................................................................",
+"....................................................................................................................................",
+"...................................................................................................................................."
+};