From 262a6033077f0e912a7116c89cc2a895a5c024fc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 15 Nov 2007 11:06:31 +0000
Subject: [PATCH] matita-icon

---
 matita/icons/matita-32.xpm | 70 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 matita/icons/matita-32.xpm

diff --git a/matita/icons/matita-32.xpm b/matita/icons/matita-32.xpm
new file mode 100644
index 000000000..a33050e93
--- /dev/null
+++ b/matita/icons/matita-32.xpm
@@ -0,0 +1,70 @@
+/* XPM */
+static char * matita_32_xpm[] = {
+"32 32 35 1",
+" 	c None",
+".	c #000000",
+"+	c #808080",
+"@	c #404040",
+"#	c #7F7F7F",
+"$	c #FFFFFF",
+"%	c #666666",
+"&	c #CDCDCD",
+"*	c #F0F0F0",
+"=	c #5F5F5F",
+"-	c #0E0E0E",
+";	c #131313",
+">	c #898989",
+",	c #EAEAEA",
+"'	c #565656",
+")	c #0B0B0B",
+"!	c #7A7A7A",
+"~	c #FEFEFE",
+"{	c #4D4D4D",
+"]	c #AAAAAA",
+"^	c #333333",
+"/	c #989898",
+"(	c #353535",
+"_	c #D8D8D8",
+":	c #F6F6F6",
+"<	c #717171",
+"[	c #0D0D0D",
+"}	c #363636",
+"|	c #CECECE",
+"1	c #0C0C0C",
+"2	c #FCFCFC",
+"3	c #654040",
+"4	c #A36666",
+"5	c #CB8080",
+"6	c #3F3F3F",
+"                                ",
+"                      ..        ",
+"  ............................  ",
+"  .++++++++++++@...#$$$+.++++.  ",
+"  .++++++++%@...&$$$$$$$.++++.  ",
+"  .+++++%....&$$$$$$$$$$.%+++.  ",
+"  .++%...+&$$$$$$$$$$$$$+.+++.  ",
+"  ....#&$$$$$$$$$$$$$$$$&.+++.  ",
+" ..#&$$$$$$$$$$$$$$$$$$$$.%++.  ",
+" ..$$$$$$$$$$$$$$$$$$$$$$+.++.  ",
+" ..$$$$$$$$$$$$$$$$$$$$$$&.++.  ",
+"  .$$$$$$..*=-;>$,');!~$$$.%+.  ",
+"  .&$$$$$..{....]^..../$$$+.+.  ",
+"  ..$$$$$..(_:<.[(_:<.}$$$&.+.  ",
+"  ..$$$$$..|$$,..|$$,.1$$$$.%.  ",
+"  ..&$$$$..2$$$..2$$$..$$$$.@.  ",
+"  .3.$$$$..$$$$..$$$$..$$$$&..  ",
+"  .4.$$$$..$$$$..$$$$..$$$$$..  ",
+"  .5.&$$$..$$$$..$$$$..$$$$$..  ",
+"  .53.$$$..$$$$..$$$$..$$$$$&.  ",
+"  .54.$$$..$$$$..$$$$..$$$$$$.  ",
+"  .55.$$$$$$$$$$$$$$$$$$$$$$$.. ",
+"  .55.+$$$$$$$$$$$$$$$$$$$$$$.. ",
+"  .554.$$$$$$$$$$$$$$$$$$$$$+.. ",
+"  .555.$$$$$$$$$$$$$$$$$&+....  ",
+"  .555.+$$$$$$$$$$$$$&+...%++.  ",
+"  .5553.$$$$$$$$$$&+...%+++++.  ",
+"  .5555.$$$$$$$+....%++++++++.  ",
+"  .5555.&$$$+...6++++++++++++.  ",
+"  ............................  ",
+"        ..                      ",
+"                                "};
-- 
2.39.2