First version of a tutorial on Mc SimGrid

[simgrid.git] / docs / source / index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index 5f367ef..65b5470 100644 (file)
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -56,6 +56,7 @@ of every page. Bugs in the code should be reported
 
        Simulating Algorithms <Tutorial_Algorithms.rst>
        Simulating MPI Applications <Tutorial_MPI_Applications.rst>
+       Model-checking algorithms and applications <Tutorial_Model-checking.rst>
 
 .. toctree::
    :hidden: