diff --git a/@GUI/GUI.m b/@GUI/GUI.m
index e93750c7946dd6a83739860113d7c289cdf1611a..133f9ff3cecde6edcf8bfd8a42cca52f74e7a66c 100644
--- a/@GUI/GUI.m
+++ b/@GUI/GUI.m
@@ -65,7 +65,7 @@ classdef GUI < handle
         prover_opt_pvs = [];
         prover_opt_cvc = [];
         prover_opt_smtlib = [];
-        version = '0.7';
+        version = '0.7.1';
         undo_man = [];
         undo_opt = [];
         redo_opt = [];
diff --git a/README.txt b/README.txt
index 9d31d905807a1d9ea53eb694745bd960cf789209..c5d58e00c7f8095d472031b2f166a830145177ec 100644
--- a/README.txt
+++ b/README.txt
@@ -1,4 +1,4 @@
-Tabular Expression Toolbox Version 0.7
+Tabular Expression Toolbox Version 0.7.1
 
 Installation
 ============