advances on exportation to prolog

[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 89a085e5e9c3d414217f91c848c2f0cb24e73bfc..3ac27296dce78667cb9ec589b38ff6463dc84023 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -20,8 +20,10 @@ type kernel = V4 | V3 | V0
 type manager = Quiet
              | Coq
              | Matita
-             | ELPI1
-             | ELPI2
+             | LP1    (* newelpi *)
+             | LP2    (* newelpi *)
+             | TJ2    (* teyjus  *)
+             | TJ3    (* teyjus  *)
 
 (* interface functions ******************************************************)