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

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