Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 27 Jun 2014 06:48:26 +0000 (08:48 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 27 Jun 2014 06:48:26 +0000 (08:48 +0200)
1  2 
doc/doxygen/options.doc

diff --combined doc/doxygen/options.doc
@@@ -417,7 -417,7 +417,7 @@@ model checker (see \ref options_mc_perf
  
  In some cases, no stack guard page is used and the stack will silently
  overflow on other parts of the memory if the stack size is too small
- for your application. This happens :
+ for your application. This happens :
  
  - on Windows systems;
  - when the model checker is enabled;
@@@ -633,7 -633,7 +633,7 @@@ item several times, as in \verbati
  \subsection options_generic_exit Behavior on Ctrl-C
  
  By default, when Ctrl-C is pressed, the status of all existing
 -simulated processes is displayed. This is very useful to debug your
 +simulated processes is displayed before exiting the simulation. This is very useful to debug your
  code, but it can reveal troublesome in some cases (such as when the
  amount of processes becomes really big). This behavior is disabled
  when \b verbose-exit is set to 0 (it is to 1 by default).