]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/common/options.ml
- siimplifified RTM (one register less) now counts x-steps.
[helm.git] / helm / software / helena / src / common / options.ml
index 7d76b7d3372447ad3f9e888f8c0448d32113af01..77a7e2c25682610faec295684a2e33c2cb606e5d 100644 (file)
@@ -24,7 +24,7 @@ type manager = Quiet
 
 (* interface functions ******************************************************)
 
-let version_string = "Helena 0.8.2 M (May 2015)"
+let version_string = "Helena 0.8.2 M (June 2015)"
 
 let stage = ref 3            (* stage *)