From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 30 Sep 2013 19:32:33 +0000 (+0200)
Subject: Cosmetics around spacing.
X-Git-Tag: v3_9_90~60^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a3c307e38d933f0f50dd1342667c17575b9a350c

Cosmetics around spacing.
---

diff --git a/ChangeLog b/ChangeLog
index 5a9de9e9f1..9f1d4da51c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -41,13 +41,13 @@ SimGrid (3.10) NOT RELEASED; urgency=low
    (no privatization of global variables yet)
 
  Model-Checking;
- * Verification of liveness properties is now available
-    for SMPI applications (in addition to MSG applications)
+ * Verification of liveness properties is now available for SMPI applications
+   (in addition to MSG applications)
  * Bugged examples using SMPI in examples/smpi/mc/
- * Add --cfg=model-check/visited option. Allows the verification of
-    infinite programs. Detection of loops in the execution thanks to the system
-    state comparison and reduction of the state space to explore. Can
-    be combined with DPOR for safety properties. 	
+ * Add --cfg=model-check/visited option. Allows the verification of infinite
+   programs. Detection of loops in the execution thanks to the system state
+   comparison and reduction of the state space to explore. Can be combined with
+   DPOR for safety properties.
 
  SimDag:
  * Allow to change SimGrid configuration (see --help) within the code