X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bd8b1f6f7a1fb9e79540cb9eb850c0dc6b99fe3e..b760c29144c4d7d86049c079945c33c6d6a9cfc7:/docs/source/index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index 5f367ef3d0..4ee9e24a75 100644
--- 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:
@@ -66,16 +67,18 @@ of every page. Bugs in the code should be reported
          Installing SimGrid <Installing_SimGrid.rst>
          Start your own project <Start_your_own_project.rst>
          The SimGrid community <community.rst>
+         Release Notes <Release_Notes.rst>
       Describing your application <application.rst>
          The S4U interface <app_s4u.rst>
          The SMPI interface <app_smpi.rst>
          The MSG interface <app_msg.rst>
          The XBT toolbox <The_XBT_toolbox.rst>
       Describing the simulated platform <Platform.rst>
-         Examples <Platform_examples.rst>
+         Demystifying the routing <Platform_routing.rst>
+         Network topology examples <Platform_examples.rst>
          Modeling hints <Platform_howtos.rst>
-         Defining a routing <Platform_routing.rst>
          XML reference <XML_reference.rst>
+         C++ platforms <Platform_cpp.rst>
       Describing the experimental setup <Experimental_setup.rst>
          Configuring SimGrid <Configuring_SimGrid.rst>
          Deploying your application <Deploying_your_application.rst>