doc: Add some recent release notes as a lighthouse to the recent developments

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

diff --git a/docs/source/index.rst b/docs/source/index.rst
index f84518d..0d3a5b5 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:
@@ -64,28 +65,34 @@ of every page. Bugs in the code should be reported
 
       Introduction <Introduction.rst>
          Installing SimGrid <Installing_SimGrid.rst>
-         Start your own project <Start_Your_Own_Project.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>
-         Modeling hints <platform_howtos.rst>
-         Defining a routing <Platform_Routing.rst>
-         XML reference <XML_Reference.rst>
-      Describing the experimental setup <Experimental_Setup.rst>
+      Describing the simulated platform <Platform.rst>
+         Demystifying the routing <Platform_routing.rst>
+         Examples <Platform_examples.rst>
+         Modeling hints <Platform_howtos.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>
-      The SimGrid models <models.rst>
-         ns-3 as a SimGrid model <ns3.rst>
+         Deploying your application <Deploying_your_application.rst>
+         The SimGrid models <Models.rst>
       SimGrid plugins <Plugins.rst>
-      Simulation outcomes <outcomes.rst>
-      The SimGrid Ccmmunity <community.rst>
+      Simulation outcomes <Outcomes.rst>
       Frequently asked questions <faq.rst>
 
+.. toctree::
+   :hidden:
+   :maxdepth: 2
+   :caption: SimGrid's Internals:
 
+      Design goals <Design_goals.rst>
 
 .. Cheat Sheet on the sublevels
 ..