Release Spot 0.7.

* NEWS, configure.ac: Bump version to 0.7.

ChangeLog

+2011-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Release Spot 0.7.
+
+	* NEWS, configure.ac: Bump version to 0.7.
+
 2011-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgbatest/ltl2tgba.test: Fix previous test case.

NEWS

-New in spot 0.6a:
+New in spot 0.7 (2011-02-01):
 
   * Spot is now able to read an automaton expressed as a Spin neverclaim.
   * The "experimental" Kripke structure introduced in Spot 0.5 has
@@ -51,7 +51,7 @@ New in spot 0.6a:
     - The formula simplification based on universality and eventuality
       had a quadratic run-time.
 
-New in spot 0.6 (16-04-2010):
+New in spot 0.6 (2010-04-16):
 
   * Several optimizations to improve some auxiliary steps
     of the LTL translation (not the core of the translation):

configure.ac

@@ -22,7 +22,7 @@
 # 02111-1307, USA.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [0.6a], [spot@lrde.epita.fr])
+AC_INIT([spot], [0.7], [spot@lrde.epita.fr])
 AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.11 gnits nostdinc tar-ustar color-tests parallel-tests])