]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/configure.in
0.0.2
[helm.git] / helm / interface / configure.in
index be0e3a9fa3b449bc0d76b7b13ccef1e1dea9477e..a211e6c1af263646604b4c45c578bf1d1da13385 100644 (file)
@@ -3,7 +3,7 @@ AC_INIT(configuration.ml.in)
 PACKAGE=helm_gtk_interface
 MAJOR_VERSION=0
 MINOR_VERSION=0
-MICRO_VERSION=1
+MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
 if test "x$prefix" != xNONE; then