X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=dfbf27d41e827904370ed66ea87a27462e36ff11;hb=1b4d894e7349bba991823249f1716fb8f18239b7;hp=dc63b1ca642a14265523ac2bd9ac9363e77d215d;hpb=849001febdebe045a1309e6c2c854e421e6e476b;p=helm.git

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index dc63b1ca6..dfbf27d41 100644
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -32,8 +32,8 @@ END
 (* interface functions ******************************************************)
 
 let version_string b =
-   if b then "Helena 0.8.3 M (June 2015)"
-   else "Helena 0.8.3 M - June 2015"
+   if b then "Helena 0.8.3 M (July 2015)"
+   else "Helena 0.8.3 M - July 2015"
 
 let kernel = ref V3          (* kernel type *)