home.md

@@ -10,7 +10,7 @@ Our main focus is to ensure that if the operation succeeds, the resulting progra
 Supported operations :
 
 *  Renaming global variables.
-*  Swapping two global variable names.
+*  Swapping two global variable names (as an example of composed operation).
 
 
 # Status 
@@ -35,6 +35,11 @@ Developped by Julien Cohen, Lina laboratory ([Ascola team](http://www.emn.fr/z-i
 
 # What's new ?
 
+### Next Version
+
+* Based on Compcert 2.7 (for compatibility).
+* More understandable proofs.
+
 ### Version 0.6 (based on Compcert 2.6)
 
 * BUGFIX : problematic situations with block variables are now rejected.