- | "v8" -> G.manager := G.Coq
- | "ma2" -> G.manager := G.Matita
- | "elpi1" -> G.manager := G.ELPI1
- | "elpi2" -> G.manager := G.ELPI2
- | s -> L.warn level (KP.sprintf "Unknown manager: %s" s)
+ | "v8" -> G.manager := G.Coq
+ | "ma2" -> G.manager := G.Matita
+ | "lp1" -> G.manager := G.LP1
+ | "lp2" -> G.manager := G.LP2
+ | "tj2" -> G.manager := G.TJ2
+ | "tj3" -> G.manager := G.TJ3
+ | s -> L.warn level (KP.sprintf "Unknown manager: %s" s)