+ _ _____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / ( _ )
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / _ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | (_) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___/
+
+(to complete)
+ _ _____ _____ _
+__ _____ _ __ ___(_) ___ _ __ |___ /|___ / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /| |
+ \ V / __/ | \__ \ | (_) | | | | ___) | / /_| |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_/(_)_|
+ June 7 2012
+
+The "cleaning the cleanup" release. Major changes:
+
+ * Portability fixups for Mac OSX and Windows
+ * Some other bug fixing and various polishing.
+ _ ____ _____
+__ _____ _ __ ___(_) ___ _ __ |___ /|___ |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /
+ \ 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.