exportation to \lambda\delta representation in elpi

[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 b8ea00387746fa8506e78102036b866b42ecc636..7d76b7d3372447ad3f9e888f8c0448d32113af01 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -18,12 +18,13 @@ type uri_generator = string -> string
 type kernel = V4 | V3 | V0
 
 type manager = Quiet
-             | Matita
              | Coq
+             | Matita
+             | ELPI
 
 (* interface functions ******************************************************)
 
-let version_string = "Helena 0.8.2 M (February 2015)"
+let version_string = "Helena 0.8.2 M (May 2015)"
 
 let stage = ref 3            (* stage *)