+ _ _____ _ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / / | || |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | || |_
+ \ V / __/ | \__ \ | (_) | | | | ___) || |__ _|
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_| |_|
+
+The Chrismas Pi Release.
+
+ * Documentation completely reorganized and improved
+
+ * S4U interface further rising, toward SimGrid 4
+ - Routing code rewritten for readability
+ - Virtual Machines almost changed into a plugin
+ _ _____ _ _____
+__ _____ _ __ ___(_) ___ _ __ |___ / / |___ /
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |_ \
+ \ V / __/ | \__ \ | (_) | | | | ___) || |___) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|____/
+ Apr 27 2016
+
+The Half Release, a.k.a. the Zealous Easter Trim.
+
+ * Half of the lines of code are gone.
+ - v3.12: 286k lines; v3.13: 142k lines (+ comments)
+ - Experimental untested unused "features" removed
+ - We rewrote several parts in C++ instead of C
+
+ * Introducing v4 of the XML platform format
+ - Many long-due cleanups (details in the Changelog)
+
+ * MSG examples fully reorganized (in C and Java)
+
+ * The S4U interface is rising, toward SimGrid 4
+ - All host manipulations now done in S4U
+ - SimDag was mostly rewritten on top of S4U
+ - MSG & SimDag interfaces mostly unchanged
+ _ _____ _ ____
+__ _____ _ __ ___(_) ___ _ __ |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) || |/ __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_____|
+ Oct 12 2015
+
+The Facelift Release. Major changes:
+
+ * Many interface glitches addressed, everywhere.
+ - Require g++-4.7, Java 7 and boost 1.48
+ - Builds on Linux, OS X, Windows and FreeBSD
+ - See ChangeLog for renamed functions and options.
+
+ * Energy plugin: major cleanups/rewrites.
+ http://simgrid.org/tutorials/simgrid-energy-101.pdf
+
+ * Model-Checker progresses toward production use:
+ - More robust (now runs in a separate process).
+ - More efficient (with snapshots' memory compaction).
+ - More usable (execution paths replayed out of MC)
+ http://simgrid.org/tutorials/simgrid-mc-101.pdf
+
+ * SMPI improvements:
+ - Better standard coverage - SMP-aware collectives
+ - InfiniBand model - Early support for RMA
+ - Replay: Dynamic selector - MVAPICH2 selector
+ http://simgrid.org/tutorials/simgrid-smpi-101.pdf
+
+Upcoming v3.13 will introduce new interfaces, toward SimGrid 4.
+