[doc] moving slicing desing doc into a subdir

cfce7f22 · Patrick Baudin · Allan Blanchard · 49f13db4 · cfce7f22 · cfce7f22
Commit cfce7f22 authored 2 years ago by Patrick Baudin Committed by Allan Blanchard 2 years ago
--- a/doc/slicing/.gitignore
+++ b/doc/slicing/.gitignore
--- a/doc/slicing/Makefile
+++ b/doc/slicing/Makefile
--- a/doc/slicing/algo.ml
+++ b/doc/slicing/algo.ml
--- a/doc/slicing/algo.tex
+++ b/doc/slicing/algo.tex
--- a/doc/slicing/algoH.mli
+++ b/doc/slicing/algoH.mli
--- a/doc/slicing/bib-slicing.bib
+++ b/doc/slicing/bib-slicing.bib
--- a/doc/slicing/call.fig
+++ b/doc/slicing/call.fig
--- a/doc/slicing/choose_call.fig
+++ b/doc/slicing/choose_call.fig
--- a/doc/slicing/conclusion.tex
+++ b/doc/slicing/conclusion.tex
--- a/doc/slicing/exple2.fig
+++ b/doc/slicing/exple2.fig
--- a/doc/slicing/exple2v0.pdf
+++ b/doc/slicing/exple2v0.pdf
--- a/doc/slicing/exple2v1-1.pdf
+++ b/doc/slicing/exple2v1-1.pdf
--- a/doc/slicing/exple2v1-2.pdf
+++ b/doc/slicing/exple2v1-2.pdf
--- a/doc/slicing/exple2v1-3.pdf
+++ b/doc/slicing/exple2v1-3.pdf
--- a/doc/slicing/exple2v1-4.pdf
+++ b/doc/slicing/exple2v1-4.pdf
--- a/doc/slicing/exple2v2-1.pdf
+++ b/doc/slicing/exple2v2-1.pdf
--- a/doc/slicing/exple2v2-2.pdf
+++ b/doc/slicing/exple2v2-2.pdf
--- a/doc/slicing/exple2v2-3.pdf
+++ b/doc/slicing/exple2v2-3.pdf
--- a/doc/slicing/exple2v3-1.pdf
+++ b/doc/slicing/exple2v3-1.pdf
--- a/doc/slicing/exple2v3-2.pdf
+++ b/doc/slicing/exple2v3-2.pdf