diff --git a/CHANGES b/CHANGES
new file mode 100644
index 0000000..d7d797e
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,10 @@
+
+Heptagon 1.00.02 (29/10/2013)
+-----------------------------
+
+ - scrollbars in graphical simulator hepts
+
+Heptagon 1.00.01 (05/08/2013)
+-----------------------------
+
+ - bug fix : abstraction of integer in Sigali code generation
diff --git a/Makefile-distrib b/Makefile-distrib
index 70813b8..d328e00 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -2,7 +2,7 @@
 include config
 
 #version = $(shell date +"%d%m%y")
-version = 1.00.01
+version = 1.00.02
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 4c00eea..04a96c2 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -32,7 +32,7 @@
 open Names
 
 (* version of the compiler *)
-let version = "1.00.01"
+let version = "1.00.02"
 let date = "DATE"
 
 (* standard module *)