diff --git a/ChangeLog b/ChangeLog
index 955a10dd..7deeff19 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,11 @@
-Until present
+version 0.12.0
+
+- all submodules (pet, piplib, isl, cloog-isl, clan, candl, openscop) updated
+to recent versions.
+
+- autoconf setup modernized
+
+- code modernized
 
 - 'pet' branch merged into master; pluto now needs pet and thus clang
   headers/libraries to build