update version number

CHANGES

@@ -6,6 +6,14 @@ arc 1.4:
       . add 'attribute id' formula in Acheck specifications that is the set of
         transitions whose event contains a component with the attribute 'id'.
 
+arc 1.3.3 :
+ Bug fixes:
+    . fix bug in symbolic "quot"
+
+arc 1.3.2 :
+ Bug fixes:
+    . fix a bug related to parameter instanciation
+
 arc 1.3.1 :
  Bug fixes:
     . fix memory leak in ar_poset_dup

configure.ac

@@ -4,7 +4,7 @@ dnl used by clients.
 dnl
 
 AC_PREREQ(2.59)
-AC_INIT(arc, 1.3.2, altarica-bugs.labri@listes.u-bordeaux1.fr)
+AC_INIT(arc, 1.3.3, altarica-bugs.labri@listes.u-bordeaux1.fr)
 
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([foreign])