(* 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 *)