diff --git a/ChangeLog b/ChangeLog
new file mode 100644
--- /dev/null
+++ b/ChangeLog
@@ -0,0 +1,96 @@
+Changes in 0.5.1.0
+
+  * Zero-element vector `Empty' is added.
+
+
+Changes in 0.5.0.0
+
+  * `ContVec' now behaves like normal vector. `Arity' type class is
+    reworked. `Id' data type is removed.
+
+  * Construction of vector reworked.
+
+  * `reverse', `snoc', `consV', `fold' and `foldMap' are added.
+
+  * Type changing maps and zips are added.
+
+  * Vector indexing with type level numbers is added.
+
+  * Twan van Laarhoven's lens added. (`element' and `elementTy')
+
+  * Ord instances added to vector data types defined in the library.
+
+
+Changes in 0.4.4.0
+
+  * Functor and Applicative instances are added to Id.
+
+
+Changes in 0.4.3.0
+
+  * Typeable instance for S and Z added.
+
+
+Changes in 0.4.2.0
+
+  * 1-tuple `Only' added.
+
+  * fromList' and fromListM added.
+
+  * apply functions from Arity type class generalized.
+
+
+Changes in 0.4.1.0
+
+  * `cons' function added.
+
+  * Getter for `Fun' data type added.
+
+
+Changes in 0.4.0.0
+
+  * Wrapper for monomorphics vectors is added.
+
+  * `VecList' is reimplemented as GADT and constructors are exported.
+
+  * Constructor of `ContVecT' is exported
+
+  * Empty `ContVecT' is implemented as `empty'.
+
+  * Typeable, Foldable and Traversable instances are added where
+    appropriate
+
+
+Changes in 0.3.0.0
+
+  * Vector type class definition is moved to the D.V.F.Cont module.
+
+  * Indexing function restored.
+
+  * `unfoldr' added.
+
+
+Changes in 0.2.0.0
+
+  * Continuation-based vector added.
+
+  * Right fold added.
+
+  * tailWith, convertContinuation, and ! from
+    Data.Vector.Fixed removed.
+
+  * Vector instance for tuples added.
+
+
+Changes in 0.1.2
+
+  * imap, imapM, ifoldl, ifoldM, zipWithM, izipWithM
+    functions are added.
+
+  * VectorN type class added.
+
+
+Changes in 0.1.1
+
+  * foldM and tailWith added. Type synonyms for numbers up to 6 are
+    added. Fun is reexported from Data.Vector.Fixed.
diff --git a/fixed-vector.cabal b/fixed-vector.cabal
--- a/fixed-vector.cabal
+++ b/fixed-vector.cabal
@@ -1,5 +1,5 @@
 Name:           fixed-vector
-Version:        0.5.1.0
+Version:        0.5.1.2
 Synopsis:       Generic vectors with statically known size.
 Description:
   Generic library for vectors with statically known
@@ -19,120 +19,32 @@
   .
   Library is structured as follows:
   .
-  [Data.Vector.Fixed]
+  [@Data.Vector.Fixed@]
   Generic API. It's suitable for both ADT-based vector like Complex
   and array-based ones.
   .
-  [Data.Vector.Fixed.Cont]
+  [@Data.Vector.Fixed.Cont@]
   Continuation based vectors. Internally all functions use them.
   .
-  [Data.Vector.Fixed.Mutable]
+  [@Data.Vector.Fixed.Mutable@]
   Type classes for array-based implementation and API for working with
   mutable state.
   .
-  [Data.Vector.Fixed.Unboxed]
+  [@Data.Vector.Fixed.Unboxed@]
   Unboxed vectors.
   .
-  [Data.Vector.Fixed.Boxed]
+  [@Data.Vector.Fixed.Boxed@]
   Boxed vector which can hold elements of any type.
   .
-  [Data.Vector.Fixed.Storable]
+  [@Data.Vector.Fixed.Storable@]
   Unboxed vectors of Storable  types.
   .
-  [Data.Vector.Fixed.Primitive]
+  [@Data.Vector.Fixed.Primitive@]
   Unboxed vectors based on pritimive package.
   .
-  [Data.Vector.Fixed.Monomorphic]
+  [@Data.Vector.Fixed.Monomorphic@]
   Wrappers for monomorphic vectors
-  .
-  Changes in 0.5.0.0
-  .
-  * ContVec now behaves like normal vector. Arity type class is
-    reworked. Id is removed.
-  .
-  * Construction of vector reworked.
-  .
-  * reverse, snoc, consV, fold and foldMap are added.
-  .
-  * Type changing maps and zips are added.
-  .
-  * Vector indexing with type level numbers is added.
-  .
-  * Twan van Laarhoven's lens added. (element and elementTy)
-  .
-  * Ord instances added to vector data types defined in the library.
-  .
-  Changes in 0.4.4.0
-  .
-  * Functor and Applicative instances are added to Id.
-  .
-  Changes in 0.4.3.0
-  .
-  * Typeable instance for S and Z added.
-  .
-  Changes in 0.4.2.0
-  .
-  * 1-tuple Only added.
-  .
-  * fromList' and fromListM added.
-  .
-  * apply functions from Arity type class generalized.
-  .
-  Changes in 0.4.1.0
-  .
-  * cons function added.
-  .
-  * Getter to Fun data type added.
-  .
-  Changes in 0.4.0.0
-  .
-  * Wrapper for monomorphics vectors is added.
-  .
-  * VecList is reimplemented as GADT and constructors are exported.
-  .
-  * Constructor of ContVecT is exported
-  .
-  * Empty ContVecT is implemented as empty.
-  .
-  * Typeable, Foldable and Traversable instances are added where
-    appropriate
-  .
-  Changes in 0.3.0.0
-  .
-  * Wrappers for monomorphic types added.
-  .
-  Changes in 0.3.0.0
-  .
-  * Vector type class definition is moved to the D.V.F.Cont module.
-  .
-  * Indexing function restored.
-  .
-  * unfoldr added.
-  .
-  Changes in 0.2.0.0
-  .
-  * Continuation-based vector added.
-  .
-  * Right fold added.
-  .
-  * tailWith, convertContinuation, and ! from
-    Data.Vector.Fixed removed.
-  .
-  * Vector instance for tuples added.
-  .
-  Changes in 0.1.2
-  .
-  * imap, imapM, ifoldl, ifoldM, zipWithM, izipWithM
-    functions are added.
-  .
-  * VectorN type class added.
-  .
-  Changes in 0.1.1
-  .
-  * foldM and tailWith added. Type synonyms for numbers up to 6 are
-    added. Fun is reexported from Data.Vector.Fixed.
 
-
 Cabal-Version:  >= 1.8
 License:        BSD3
 License-File:   LICENSE
@@ -141,6 +53,8 @@
 Bug-reports:    https://github.com/Shimuuar/fixed-vector/issues
 Category:       Data
 Build-Type:     Simple
+extra-source-files:
+  ChangeLog
 
 source-repository head
   type:     hg