grundlagen for coq with timing information

[helm.git] / helm / software / helena / src / common / options.ml

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index dc63b1ca642a14265523ac2bd9ac9363e77d215d..dfbf27d41e827904370ed66ea87a27462e36ff11 100644 (file)
--- 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 *)