]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/common/options.ml
- helena: the improved attribute system allows to export the sorts of Pi's
[helm.git] / helm / software / helena / src / common / options.ml
index a7b5f4dd599738f584ee35ca512331f2beb27e7b..47ee342728631a9a4d6747900eab7c9556b6fa07 100644 (file)
@@ -19,7 +19,7 @@ type kernel = Crg | Brg | Bag
 
 (* interface functions ******************************************************)
 
-let version_string = "Helena 0.8.2 M - November 2014"
+let version_string = "Helena 0.8.2 M - December 2014"
 
 let stage = ref 3            (* stage *)