Regen ChangeLog.

Using the following command:

  gitlog-to-changelog --no-cluster --format='%s%n%n%b%n' \
    --since=2012-05-17 | sed 's/^\t */\t/'

ChangeLog

+2012-10-31  Theophile Ranquet  <ranquet@lrde.epita.fr>
+
+	Version 0.25
+
+2012-10-31  Theophile Ranquet  <ranquet@lrde.epita.fr>
+
+	Fix a typo.
+
+	* tests/defs.in (HAVM_pass): Here.
+
+2012-10-31  Theophile Ranquet  <ranquet@lrde.epita.fr>
+
+	Fix a symbolic comparison token inversion in scanner
+
+	* THANKS (Pablo Oliveira, Theophile Ranquet): Add.
+	* src/Scan.hs (scanToKeyword): Here.
+	* tests/Makefile.am: Adjust for...
+	* tests/cmp.lir,
+	* tests/cmp.out,
+	* tests/cmp.test:
+	...this new test.
+
+	Reported by Pablo Oliveira.
+
 2012-05-16  Roland Levillain  <roland@lrde.epita.fr>
 
 	Add the text of the project's license (GPL v2).