[doc] adapt slicing to the new theme
Showing
- doc/slicing/.gitignore 3 additions, 4 deletionsdoc/slicing/.gitignore
- doc/slicing/algo.ml 2 additions, 1 deletiondoc/slicing/algo.ml
- doc/slicing/interexples.tex 13 additions, 16 deletionsdoc/slicing/interexples.tex
- doc/slicing/macros_slicing.tex 3 additions, 5 deletionsdoc/slicing/macros_slicing.tex
- doc/slicing/main.tex 13 additions, 21 deletionsdoc/slicing/main.tex
- doc/slicing/projets.tex 4 additions, 3 deletionsdoc/slicing/projets.tex
Loading
Please register or sign in to comment