More coding style updates for sg_host.

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

diff --git a/docs/source/Introduction.rst b/docs/source/Introduction.rst
index 3d8ec7e..b635a09 100644 (file)
--- a/docs/source/Introduction.rst
+++ b/docs/source/Introduction.rst
@@ -6,7 +6,7 @@ Main Concepts
 
 .. raw:: html
 
-   <object data="graphical-toc.svg" width="100%" type="image/svg+xml"></object>
+   <object data="graphical-toc.svg" type="image/svg+xml"></object>
    <br/>
    <br/>
 
@@ -107,11 +107,11 @@ explored. In some sense, this mode tests your application for all
 possible platforms that you could imagine (and more).
 
 You just provide the application and its deployment (number of
-processes and parameters), and the model-checker will literally
+processes and parameters), and the model checker will literally
 explore all possible outcomes by testing all possible message
 interleavings: if at some point a given process can either receive the
 message A first or the message B depending on the platform
-characteristics, the model-checker will explore the scenario where A
+characteristics, the model checker will explore the scenario where A
 arrives first, and then rewind to the same point to explore the
 scenario where B arrives first.
 
@@ -173,7 +173,7 @@ SimGrid for such studies (or the framework could possibly be extended
 in this direction), but another framework specifically targeting such a
 use case would probably be more suited.
 
-**There is currently no support for wireless networks**.
+**There is currently no support for 5G or LoRa networks**.
 The framework could certainly be improved in this direction, but this
 still has to be done.
 
@@ -231,10 +231,10 @@ SimGrid could even be used to debug the real platform :)
 SimGrid is also used to debug, improve, and tune several large
 applications.
 `BigDFT <http://bigdft.org>`_ (a massively parallel code
-computing the electronic structure of chemical elements developped by
+computing the electronic structure of chemical elements developed by
 the CEA), `StarPU <http://starpu.gforge.inria.fr/>`_ (a
 Unified Runtime System for Heterogeneous Multicore Architectures
-developped by Inria Bordeaux) and
+developed by Inria Bordeaux) and
 `TomP2P <https://tomp2p.net/dev/simgrid/>`_ (a high performance
 key-value pair storage library developed at the University of Zurich).
 Some of these applications enjoy large user communities themselves.