- final commit for helena 0.8.3

[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 dfbf27d41e827904370ed66ea87a27462e36ff11..f268ba3443a138bd3decc13f1c217b70a969ba6d 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 (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