Updated for 1.5

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1145 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

Changelog

@@ -8,6 +8,9 @@ Release 1.5, 2009-08-28
 - Traces for diverging executions are now uniquely defined;
   tightened semantic preservation results accordingly.
 
+- Emulated assignments between structures 
+  (during the C to Clight initial translation).
+
 - Fixed spurious compile-time error on Clight statements of the form
   "x = f(...);" where x is a global variable.