Update Cabal's version number

diff --git a/docs/users_guide/7.0.1-notes.xml b/docs/users_guide/7.0.1-notes.xml
index 1c10827..0e6ffb4 100644 (file)
--- a/docs/users_guide/7.0.1-notes.xml
+++ b/docs/users_guide/7.0.1-notes.xml
@@ -852,7 +852,7 @@ Prelude| :}
         <itemizedlist>
             <listitem>
                 <para>
-                    Version number 1.9.2 (was 1.8.0.6)
+                    Version number 1.10.0.0 (was 1.8.0.6)
                 </para>
             </listitem>