Removing ML4PG files from coq folder.

8 files changed, 0 insertions, 373 deletions

diff --git a/coq/ML4PG/icons/Clustering.png b/coq/ML4PG/icons/Clustering.png
deleted file mode 100644
index 1f878eca..00000000
--- a/coq/ML4PG/icons/Clustering.png
+++ /dev/null
diff --git a/coq/ML4PG/icons/Hint.png b/coq/ML4PG/icons/Hint.png
deleted file mode 100644
index f84346e4..00000000
--- a/coq/ML4PG/icons/Hint.png
+++ /dev/null
diff --git a/coq/ML4PG/icons/clustering.xpm b/coq/ML4PG/icons/clustering.xpm
deleted file mode 100644
index ff0728fc..00000000
--- a/coq/ML4PG/icons/clustering.xpm
+++ /dev/null
@@ -1,30 +0,0 @@
-/* XPM */
-static char * clustering_xpm[] = {
-"20 20 7 1",
-" 	c None",
-".	c #FBFE00",
-"+	c #FCFF00",
-"@	c #FE0000",
-"#	c #FF0000",
-"$	c #4DFE00",
-"%	c #4EFF00",
-"                    ",
-"                    ",
-"       .   +        ",
-"                    ",
-"   .     . .        ",
-"   .   . .          ",
-"      +           @ ",
-"   .    . .         ",
-"        +      @@   ",
-"       +      #  @  ",
-"         ++   @ #   ",
-"                    ",
-"     $       @ #@   ",
-"   %            ### ",
-"     $  %    #      ",
-"    %             # ",
-"  %   $%       #@   ",
-"    $   $           ",
-"   $            #   ",
-"                    "};
diff --git a/coq/ML4PG/icons/sh-hint.xpm b/coq/ML4PG/icons/sh-hint.xpm
deleted file mode 100644
index f5f5ea8b..00000000
--- a/coq/ML4PG/icons/sh-hint.xpm
+++ /dev/null
@@ -1,160 +0,0 @@
-/* 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.                  ",
-"                                        "};
diff --git a/coq/ML4PG/icons/sh-hint2.xpm b/coq/ML4PG/icons/sh-hint2.xpm
deleted file mode 100644
index 900ed4cf..00000000
--- a/coq/ML4PG/icons/sh-hint2.xpm
+++ /dev/null
@@ -1,103 +0,0 @@
-/* XPM */
-static char * sh_hint2_xpm[] = {
-"16 16 84 1",
-" 	c None",
-".	c #D1DDDD",
-"+	c #D4E0DF",
-"@	c #D0DCDC",
-"#	c #B1C6C6",
-"$	c #F1F4F5",
-"%	c #FFFFFF",
-"&	c #FEFEFE",
-"*	c #F1F5F5",
-"=	c #AFC5C4",
-"-	c #DCE6E6",
-";	c #FDB8BF",
-">	c #FC7682",
-",	c #FC7E8A",
-"'	c #FB0920",
-")	c #FD8A95",
-"!	c #DBE4E5",
-"~	c #B5C9C8",
-"{	c #EAF1F1",
-"]	c #FADCE0",
-"^	c #FB6876",
-"/	c #FC949E",
-"(	c #FA1127",
-"_	c #FB7E8A",
-":	c #FB97A0",
-"<	c #ECF2F2",
-"[	c #B5C9C9",
-"}	c #B8CCCB",
-"|	c #DBE5E7",
-"1	c #F4C1C6",
-"2	c #FA7581",
-"3	c #FB5565",
-"4	c #FA081F",
-"5	c #FCFDFC",
-"6	c #F98792",
-"7	c #DEE8E8",
-"8	c #B8CCCC",
-"9	c #D2E0E1",
-"0	c #DFE9E9",
-"a	c #EDF2EF",
-"b	c #F6F8F2",
-"c	c #F8FAEF",
-"d	c #ECEEF0",
-"e	c #E5EDE9",
-"f	c #D3E0E2",
-"g	c #A1BCBA",
-"h	c #B7CCCC",
-"i	c #D8E4DF",
-"j	c #D2DBD2",
-"k	c #E1E9E4",
-"l	c #D9E2E1",
-"m	c #D9E2D8",
-"n	c #DAE4DD",
-"o	c #B8CDCC",
-"p	c #C0D2D2",
-"q	c #D4E2E3",
-"r	c #BCCDCE",
-"s	c #BCCCCD",
-"t	c #D1DFE0",
-"u	c #C1D3D3",
-"v	c #99B4B4",
-"w	c #D5E3E3",
-"x	c #ACC3C4",
-"y	c #A4BFC0",
-"z	c #C5D6D7",
-"A	c #97B5B5",
-"B	c #9BB5B4",
-"C	c #9EB2B5",
-"D	c #8FA8AA",
-"E	c #88A9AD",
-"F	c #AAA330",
-"G	c #B7BF75",
-"H	c #C0C877",
-"I	c #B2A933",
-"J	c #B1A82D",
-"K	c #D7D368",
-"L	c #DFDD79",
-"M	c #B7AF37",
-"N	c #BAB328",
-"O	c #D2D551",
-"P	c #D3D653",
-"Q	c #B9B32C",
-"R	c #A4961E",
-"S	c #A1921C",
-"                ",
-"      .++@      ",
-"    #$%&&&*=    ",
-"    -;>,'%)!    ",
-"   ~{]^/(_:<[   ",
-"   }|12345678   ",
-"    90abcdefg   ",
-"    hijklmno    ",
-"     pqrstu     ",
-"     vwxyzA     ",
-"      BCDE      ",
-"      FGHI      ",
-"      JKLM      ",
-"      NOPQ      ",
-"       RS       ",
-"                "};
diff --git a/coq/ML4PG/icons/sh.xpm b/coq/ML4PG/icons/sh.xpm
deleted file mode 100644
index 3fa7dde6..00000000
--- a/coq/ML4PG/icons/sh.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char * sh_xpm[] = {
-"16 16 2 1",
-" 	c None",
-".	c #FB0920",
-"                ",
-"                ",
-"                ",
-"                ",
-"   ...  .    .  ",
-"  .   . .    .  ",
-"  .     .    .  ",
-"   ...  ......  ",
-"      . .    .  ",
-"  .   . .    .  ",
-"   ...  .    .  ",
-"                ",
-"                ",
-"                ",
-"                ",
-"                "};
diff --git a/coq/ML4PG/icons/sh1.xpm b/coq/ML4PG/icons/sh1.xpm
deleted file mode 100644
index 3fa7dde6..00000000
--- a/coq/ML4PG/icons/sh1.xpm
+++ /dev/null
@@ -1,21 +0,0 @@
-/* XPM */
-static char * sh_xpm[] = {
-"16 16 2 1",
-" 	c None",
-".	c #FB0920",
-"                ",
-"                ",
-"                ",
-"                ",
-"   ...  .    .  ",
-"  .   . .    .  ",
-"  .     .    .  ",
-"   ...  ......  ",
-"      . .    .  ",
-"  .   . .    .  ",
-"   ...  .    .  ",
-"                ",
-"                ",
-"                ",
-"                ",
-"                "};
diff --git a/coq/ML4PG/icons/test.xpm b/coq/ML4PG/icons/test.xpm
deleted file mode 100644
index 5e1f0fa5..00000000
--- a/coq/ML4PG/icons/test.xpm
+++ /dev/null
@@ -1,38 +0,0 @@
-/* XPM */
-static char * 8885_xpm[] = {
-"32 32 3 1",
-" 	c None",
-".	c #000000",
-"+	c #FFFFFF",
-"                                ",
-"                                ",
-"                                ",
-"                                ",
-"                                ",
-" ...                       .    ",
-" ....                     ..    ",
-" .+++.                   ...    ",
-"  .+...                 ....    ",
-"   .+++.               .+++.    ",
-"    .+...            ..++++..   ",
-"     .+++..         .+.++++++.  ",
-"     .++.++...     ..+.++++.++. ",
-"     .+.++..++..   ..++.+++.++. ",
-"    .+.++.+++..+. .+.++++++.++. ",
-"    .+++.+++.++++..++.+++++++++.",
-"    .++.+++.+++..++++++....++++.",
-"    .+++++.+++.+++.++++++++++++.",
-"    .++++++++.+++.++++++++++++. ",
-"   .++++++++++++++++++++++....  ",
-"   .+++.+++++.++++++++....      ",
-" ..+.+++..+..++++++++++++.      ",
-" .+++..+...+++++++++++++...     ",
-" .++....++...+++++++..+.++..    ",
-" .+..+....  .........+.++.++.   ",
-" ...+.             ...+..++.+.  ",
-"   ..                 .++..+++. ",
-"                       ..  ...  ",
-"                                ",
-"                                ",
-"                                ",
-"                                "};