X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=77a7e2c25682610faec295684a2e33c2cb606e5d;hb=c2a2ecf1a9d02b03b9e840e01128632663e5d8a5;hp=7d76b7d3372447ad3f9e888f8c0448d32113af01;hpb=54191356ed05e187754076ebf5aa30d9dd6f213d;p=helm.git

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index 7d76b7d33..77a7e2c25 100644
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -24,7 +24,7 @@ type manager = Quiet
 
 (* interface functions ******************************************************)
 
-let version_string = "Helena 0.8.2 M (May 2015)"
+let version_string = "Helena 0.8.2 M (June 2015)"
 
 let stage = ref 3            (* stage *)