1 files changed, 160 insertions, 0 deletions
diff --git a/coq/ML4PG/icons/sh-hint.xpm b/coq/ML4PG/icons/sh-hint.xpm
new file mode 100644
index 00000000..f5f5ea8b
--- /dev/null
+++ b/coq/ML4PG/icons/sh-hint.xpm
@@ -0,0 +1,160 @@
+/* XPM */
+static char * sh_hint_xpm[] = {
+"20 20 137 2",
+"  	c None",
+". 	c #C1D2D1",
+"+ 	c #C2D2D1",
+"@ 	c #C1D2D0",
+"# 	c #BBCECE",
+"$ 	c #E3EFEF",
+"% 	c #F7FFFF",
+"& 	c #FBFDFD",
+"* 	c #FBFFFF",
+"= 	c #F7FAFA",
+"- 	c #E2EEED",
+"; 	c #BBCDCC",
+"> 	c #ACC2C0",
+", 	c #ECF3F3",
+"' 	c #FFC9CE",
+") 	c #FC828D",
+"! 	c #FEF2F3",
+"~ 	c #FDB4BB",
+"{ 	c #FEEEEF",
+"] 	c #FFD5D8",
+"^ 	c #EBF3F3",
+"/ 	c #AAC1C0",
+"( 	c #91AFAC",
+"_ 	c #DDE8E8",
+": 	c #FEC9CF",
+"< 	c #FC7481",
+"[ 	c #FDD9DC",
+"} 	c #FFFFFF",
+"| 	c #FB2237",
+"1 	c #FECED2",
+"2 	c #FD7F8B",
+"3 	c #DBE5E6",
+"4 	c #93B0AD",
+"5 	c #B6CAC9",
+"6 	c #E4EDEE",
+"7 	c #FBE1E4",
+"8 	c #FA5867",
+"9 	c #FB7985",
+"0 	c #FDFFFF",
+"a 	c #FB182E",
+"b 	c #FDC0C5",
+"c 	c #FC7B87",
+"d 	c #E5ECED",
+"e 	c #B7CBCA",
+"f 	c #C2D3D3",
+"g 	c #DAE6E7",
+"h 	c #F3EEEF",
+"i 	c #FAC9CE",
+"j 	c #FB4D5E",
+"k 	c #FDEEEF",
+"l 	c #FA0017",
+"m 	c #FB7481",
+"n 	c #FB7683",
+"o 	c #F9FFFF",
+"p 	c #DCE7E7",
+"q 	c #C2D3D4",
+"r 	c #B4C9C8",
+"s 	c #D4E2E3",
+"t 	c #E3D6D9",
+"u 	c #F37C89",
+"v 	c #F8959F",
+"w 	c #FAFCFD",
+"x 	c #FA8995",
+"y 	c #FAE8EA",
+"z 	c #F5B8BF",
+"A 	c #E7F2F2",
+"B 	c #D5E2E3",
+"C 	c #B4C9C9",
+"D 	c #98B4B3",
+"E 	c #CAD9DA",
+"F 	c #D7E5E3",
+"G 	c #E2F3EA",
+"H 	c #ECF9ED",
+"I 	c #F1F4EA",
+"J 	c #F2FFF2",
+"K 	c #E9EEE5",
+"L 	c #E5F0E8",
+"M 	c #DCE6DE",
+"N 	c #CBDADA",
+"O 	c #9BB8B6",
+"P 	c #A8C0BF",
+"Q 	c #D6E1DE",
+"R 	c #CFD9D7",
+"S 	c #DCE4E2",
+"T 	c #D8E2E1",
+"U 	c #D0DAD6",
+"V 	c #DBE4E1",
+"W 	c #D5E1E2",
+"X 	c #A8C1BF",
+"Y 	c #B1C7C7",
+"Z 	c #C6D5D6",
+"` 	c #C3D5D5",
+" .	c #BECFCF",
+"..	c #CBDADB",
+"+.	c #D4E0E1",
+"@.	c #B2C8C7",
+"#.	c #CFDDDD",
+"$.	c #AAC2C4",
+"%.	c #A6BDC0",
+"&.	c #C4D6D8",
+"*.	c #BDD0D1",
+"=.	c #A2BDBF",
+"-.	c #C7D5D8",
+";.	c #A3B7B9",
+">.	c #95AEAF",
+",.	c #ACC2C7",
+"'.	c #94B4B7",
+").	c #9EAB78",
+"!.	c #9BB29D",
+"~.	c #90AAAF",
+"{.	c #8AA6AC",
+"].	c #8FAA96",
+"^.	c #95A778",
+"/.	c #A2971A",
+"(.	c #ACA644",
+"_.	c #C9C95E",
+":.	c #D3D45F",
+"<.	c #B9B34A",
+"[.	c #A5981C",
+"}.	c #ACA11C",
+"|.	c #D0CD4C",
+"1.	c #E9E989",
+"2.	c #F0F09E",
+"3.	c #D5D25F",
+"4.	c #ABA11E",
+"5.	c #A69918",
+"6.	c #B6B02E",
+"7.	c #CCCB45",
+"8.	c #D0CF47",
+"9.	c #BCB836",
+"0.	c #A69A1A",
+"a.	c #AFA626",
+"b.	c #B1AC32",
+"c.	c #AFA931",
+"d.	c #AEA525",
+"e.	c #AA9F27",
+"f.	c #A79B22",
+"                                        ",
+"                . + + @                 ",
+"            # $ % & * = - ;             ",
+"          > , ' ) ! ~ { ] ^ /           ",
+"        ( _ : < [ } | 1 2 } 3 4         ",
+"        5 6 7 8 9 0 a b c } d e         ",
+"        f g h i j k l m n o p q         ",
+"        r s t u v w x y z A B C         ",
+"        D E F G H I J K L M N O         ",
+"          P B Q R S T U V W X           ",
+"            Y B Z `  ...+.@.            ",
+"              ` #.$.%.&.*.              ",
+"              =.-.;.>.,.'.              ",
+"              ).!.~.{.].^.              ",
+"              /.(._.:.<.[.              ",
+"              }.|.1.2.3.4.              ",
+"              5.6.7.8.9.0.              ",
+"                a.b.c.d.                ",
+"                  e.f.                  ",
+"                                        "};