update

CHANGES

@@ -2,6 +2,15 @@ This file is a brief description of changes in this new release of ARC.
 Details can be found in the ChangeLog file.
 
 arc 1.2:
+ New features:
     . install documentation into standard location
     . add a short README, NEWS and CHANGES files 
     . add pkg-config support
+    . add autoconf/automake support
+    . add several Lustre translators tests
+    . implements the linear model-checking algoritm in place of the quadratic
+      one.
+
+ Bug fixed:
+    . error in the project algorithm used by acheck 
+    . remove several memory leaks
\ No newline at end of file