This release fixes bugs identified in beta version 20101202 and makes the API stable for external plug-in developers. Value analysis users, consider applying this patch before compiling: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-February/002527.html . Jessie users: this release is compatible with Why 2.29, available from http://why.lri.fr/ . WP users: the WP plug-in will be made available separately later.
