type kernel = V4 | V3 | V0
+type manager = Quiet
+ | Matita
+ | Coq
+
(* interface functions ******************************************************)
-let version_string = "Helena 0.8.2 M - December 2014"
+let version_string = "Helena 0.8.2 M (February 2015)"
let stage = ref 3 (* stage *)
let debug_lexer = ref false (* output lexer debug information *)
-let ma_dir = ref "" (* directory for grafite output *)
+let manager_dir = ref "" (* output directory for manager *)
+
+let manager = ref Quiet (* manager *)
-let ma_preamble = ref "" (* location of grafite preamble file *)
+let preamble = ref "" (* preamble file for manager *)
let alpha = ref "" (* prefix of numeric identifiers *)
xdir := ""; kernel := V3; si := false; cover := "";
expand := false; indexes := false; icm := 0; unquote := false;
debug_parser := false; debug_lexer := false;
- ma_dir := ""; ma_preamble := ""
+ manager_dir := ""; manager := Quiet