X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=f268ba3443a138bd3decc13f1c217b70a969ba6d;hb=25893b01cb815cbd9a3b9684952bfc0f42c0739d;hp=dfbf27d41e827904370ed66ea87a27462e36ff11;hpb=bcc6a96020485731da4c02cc38043817903bd7dc;p=helm.git

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index dfbf27d41..f268ba344 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 (July 2015)"
-   else "Helena 0.8.3 M - July 2015"
+   if b then "Helena 0.8.3 M (December 2015)"
+   else "Helena 0.8.3 M - December 2015"
 
 let kernel = ref V3          (* kernel type *)
 
@@ -101,7 +101,7 @@ let preprocess = ref false   (* preprocess source *)
 END
 
 IFDEF QUOTE THEN
-let quote = ref false      (* quote identifiers when lexing *)
+let quote = ref false        (* quote identifiers when lexing *)
 END
 
 IFDEF TYPE THEN