]> matita.cs.unibo.it Git - helm.git/commitdiff
matita-icon
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 11:06:31 +0000 (11:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 11:06:31 +0000 (11:06 +0000)
helm/software/matita/icons/matita-32.xpm [new file with mode: 0644]

diff --git a/helm/software/matita/icons/matita-32.xpm b/helm/software/matita/icons/matita-32.xpm
new file mode 100644 (file)
index 0000000..a33050e
--- /dev/null
@@ -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++++++++++++.  ",
+"  ............................  ",
+"        ..                      ",
+"                                "};