+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.