distcheck, but in a new and shiny way with a lot of cmake stars in the sky

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index fee4399bf2df4e30d031f4d347c802282c54fd19..94b030de323b5a7a3a10cd4fb064baf8d6f74d4c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -12,6 +12,9 @@ LUA:
 XBT:
  - xbt_assert is not disabled anymore, even when built with enable_debug=off.
 
+Documentation:
+ - New tutorial: Model-checking and formal assessment
+
 Fixed bugs (FG#.. -> FramaGit bugs; FG!.. -> FG merge requests)
  (FG: issues on Framagit; GF: issues on GForge; GH: issues on GitHub)
  - FG#47: Complete and fix tests from teshuite/s4u/activity-lifecycle