X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/08e7455d67920bbd7a87f440d00f2c1e071314a0..ea74f5d95928a521a588737e81f1de94eef25d19:/docs/source/index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index 4eeab334e8..79d021492a 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -4,17 +4,17 @@ The Modern Age of Computer Systems Simulation
 =============================================
 
 SimGrid is a framework to simulate distributed computer systems. It can be used
-to either :ref:`assess abstract algorithms <usecase_simalgo>`, or to
+to either :ref:`assess abstract algorithms <usecase_simalgo>` or to
 :ref:`debug and profile real MPI applications <usecase_smpi>`.
 
 SimGrid is routinely used in studies on (data-)Grids,
 IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
-Clusters, High Performance Computing (`🖹 <http://hal.inria.fr/hal-01415484>`_),
+Clusters, High-Performance Computing (`🖹 <http://hal.inria.fr/hal-01415484>`_),
 Peer-to-Peer systems,
 Volunteer Computing (`🖹 <http://www.sciencedirect.com/science/article/pii/S1569190X17301028>`__)
 Fog Computing (`🖹 <http://ieeexplore.ieee.org/document/7946412/>`__),
 MapReduce (`🖹 <http://www.sciencedirect.com/science/article/pii/S0167819113000215>`__) and
-`much more <https://simgrid.org/Usages.html>`_.
+`much more <https://simgrid.org/usages.html>`_.
 
 The simulation models are **fast** (`🖹 <http://hal.inria.fr/hal-00650233>`__) and
 **highly scalable** (`🖹 <http://hal.inria.fr/inria-00602216/>`__) while
@@ -30,20 +30,20 @@ functions to build your own simulator. This can be done in C/C++, Python or Java
 on Linux, Mac OSX or Windows (using the WSL).
 
 SimGrid is a Free Software distributed under the LGPL-2.1 license. You are
-welcome to use, study, share and improve it, provided that your version are as
-free as ours. SimGrid is developed since 20 years by a lively community of users
-and researchers from several groups, initially in France and in the U.S.A. It
+welcome to use, study, share and improve it, provided that your version is as
+free as ours. SimGrid is developed for 20 years by a lively community of users
+and researchers from several groups, initially in France and the U.S.A. It
 is steadily funded by several research bodies. We hope that you will
 come and join us!
 
-SimGrid is a powerful tool, and this documentation will help you taking the best
+SimGrid is a powerful tool, and this documentation will help you to make good use
 of it. Check its contents on the left. Each tutorial presents a classical use
 case, in a fast and practical manner. The user manual contains more
 thorough information. In each part, the important concepts are concisely
 introduced, before the reference manual. SimGrid is also described in several
 `scientific papers <https://simgrid.org/usages.html>`_.
 
-Please report any documentation issue, including typos or unclear elements. You
+Please report any documentation issues, including typos or unclear elements. You
 can even propose changes by clicking on the "Edit on FramaGit" button at the top
 of every page. Bugs in the code should be reported
 `on FramaGit <https://framagit.org/simgrid/simgrid/issues>`_
@@ -54,8 +54,9 @@ of every page. Bugs in the code should be reported
    :maxdepth: 1
    :caption: Tutorials:
 
-	Simulating Algorithms <Tutorial_Algorithms.rst>
-	Simulating MPI Applications <Tutorial_MPI_Applications.rst>
+	Simulating distributed algorithms <Tutorial_Algorithms.rst>
+	Simulating MPI applications <Tutorial_MPI_Applications.rst>
+	Model-checking algorithms <Tutorial_Model-checking.rst>
 
 .. toctree::
    :hidden:
@@ -64,27 +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>
-      Describing your Application <application.rst>
-         The S4U Interface <app_s4u.rst>
-         The SMPI Interface <app_smpi.rst>
-         The MSG Interface <app_msg.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>
+         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>
+         Network topology examples <Platform_examples.rst>
+         Advanced routing <Platform_routing.rst>
+         XML reference <XML_reference.rst>
+         C++ platforms <Platform_cpp.rst>
+      The SimGrid models <Models.rst>      
+         SimGrid plugins <Plugins.rst>
+         Modeling hints <Modeling_howtos.rst>
+         Calibrating the models <Calibrating_the_models.rst>   
+      Running an experiment <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>
-      SimGrid Plugins <Plugins.rst>
-      Simulation Outcomes <outcomes.rst>
-      The SimGrid Community <community.rst>
-      Frequently Asked Questions <faq.rst>
+         Deploying your application <Deploying_your_application.rst>
+         Simulation outcomes <Outcomes.rst>
 
+.. toctree::
+   :hidden:
+   :maxdepth: 2
+   :caption: SimGrid's Internals:
 
+      Design goals <Design_goals.rst>
 
 .. Cheat Sheet on the sublevels
 ..