Moving ML4PG from coq directory to contrib directory.

18 files changed, 0 insertions, 0 deletions

diff --git a/contrib/ML4PG/doc/src/images/algorithm1.png b/contrib/ML4PG/doc/src/images/algorithm1.png
new file mode 100644
index 00000000..8c8f47b5
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/algorithm1.png
diff --git a/contrib/ML4PG/doc/src/images/algorithm2.png b/contrib/ML4PG/doc/src/images/algorithm2.png
new file mode 100644
index 00000000..6b5e0835
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/algorithm2.png
diff --git a/contrib/ML4PG/doc/src/images/clusters1.png b/contrib/ML4PG/doc/src/images/clusters1.png
new file mode 100644
index 00000000..ca4ef219
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/clusters1.png
diff --git a/contrib/ML4PG/doc/src/images/clusters1pg.png b/contrib/ML4PG/doc/src/images/clusters1pg.png
new file mode 100644
index 00000000..b39d409f
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/clusters1pg.png
diff --git a/contrib/ML4PG/doc/src/images/clusters2.png b/contrib/ML4PG/doc/src/images/clusters2.png
new file mode 100644
index 00000000..f091abbe
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/clusters2.png
diff --git a/contrib/ML4PG/doc/src/images/clusters2pg.png b/contrib/ML4PG/doc/src/images/clusters2pg.png
new file mode 100644
index 00000000..6ba6dcb4
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/clusters2pg.png
diff --git a/contrib/ML4PG/doc/src/images/export.png b/contrib/ML4PG/doc/src/images/export.png
new file mode 100644
index 00000000..de048b47
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/export.png
diff --git a/contrib/ML4PG/doc/src/images/fig1.png b/contrib/ML4PG/doc/src/images/fig1.png
new file mode 100644
index 00000000..955fd048
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig1.png
diff --git a/contrib/ML4PG/doc/src/images/fig1pg.png b/contrib/ML4PG/doc/src/images/fig1pg.png
new file mode 100644
index 00000000..d4a0df9f
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig1pg.png
diff --git a/contrib/ML4PG/doc/src/images/fig2.png b/contrib/ML4PG/doc/src/images/fig2.png
new file mode 100644
index 00000000..ed8c399e
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig2.png
diff --git a/contrib/ML4PG/doc/src/images/fig3.png b/contrib/ML4PG/doc/src/images/fig3.png
new file mode 100644
index 00000000..f3741a0e
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig3.png
diff --git a/contrib/ML4PG/doc/src/images/fig4.png b/contrib/ML4PG/doc/src/images/fig4.png
new file mode 100644
index 00000000..9df097bd
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig4.png
diff --git a/contrib/ML4PG/doc/src/images/fig5.png b/contrib/ML4PG/doc/src/images/fig5.png
new file mode 100644
index 00000000..733a3d22
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/fig5.png
diff --git a/contrib/ML4PG/doc/src/images/frequencies.png b/contrib/ML4PG/doc/src/images/frequencies.png
new file mode 100644
index 00000000..4f90b5fc
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/frequencies.png
diff --git a/contrib/ML4PG/doc/src/images/granularity.png b/contrib/ML4PG/doc/src/images/granularity.png
new file mode 100644
index 00000000..385b3972
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/granularity.png
diff --git a/contrib/ML4PG/doc/src/images/levels.png b/contrib/ML4PG/doc/src/images/levels.png
new file mode 100644
index 00000000..48e02db7
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/levels.png
diff --git a/contrib/ML4PG/doc/src/images/ml_system1.png b/contrib/ML4PG/doc/src/images/ml_system1.png
new file mode 100644
index 00000000..f11cebf1
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/ml_system1.png
diff --git a/contrib/ML4PG/doc/src/images/ml_system2.png b/contrib/ML4PG/doc/src/images/ml_system2.png
new file mode 100644
index 00000000..792c423d
--- /dev/null
+++ b/contrib/ML4PG/doc/src/images/ml_system2.png