-\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /
- \ V / __/ | \__ \ | (_) | | | | ___) | / /
- \_/ \___|_| |___/_|\___/|_| |_| |____(_)_/
-
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /
+ \ V / __/ | \__ \ | (_) | | | | ___) | / /
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_/
+ May 15 2012
+
+The "spring cleanups (before the next Big Project kicks in)" release.
+Major changes:
+
+ * Major cleanups all around (doc, user options, MSG, Lua, internals)
+ Small backward compatibility glitches may have been introduced
+ * Parallel execution of user code should be stable and efficient now
+ * SMPI is now considered stable
+ * Add temporals to Model-Checking (highly experimental right now)
+ _ _____ __ ____
+__ _____ _ __ ___(_) ___ _ __ |___ / / /_ |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \| '_ \ __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) | (_) | / __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___(_)_____|
+ Oct 5 2011
+
+The "Not coding new stuff allows to polish old things" release.
+
+ * Portability to Mac and Windows improved.
+ * Possible misconfigurations (contexts, libPCRE) made impossible by
+ removing the option or providing sane default value.
+ * Experimental support to NS3 simulator as a back-end.