- _ _____ __ ____
-__ _____ _ __ ___(_) ___ _ __ |___ / / /_ |___ \
-\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \| '_ \ __) |
- \ V / __/ | \__ \ | (_) | | | | ___) | (_) | / __/
+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 / __/ | \__ \ | (_) | | | | ___) | (_) | / __/