upgrade to 1.4.1

CHANGES

 This file is a brief description of changes in this new release of ARC.
 Details can be found in the ChangeLog file.
 
+arc 1.4.1:
+  Bugs fixed:
+    . ignore independencies between transitions in reachability algorithm
+      for generation of cuts.
+
 arc 1.4:
   New features:
     . add a by-extension preprocessing mechanism. A preprocessor can be 

configure.ac

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