(* interface functions ******************************************************)
+let version_string = "Helena 0.8.2 M - November 2014"
+
let stage = ref 3 (* stage *)
let trace = ref 0 (* trace level *)
let debug_lexer = ref false (* output lexer debug information *)
+let ma_preamble = ref "" (* location of Matita preamble file *)
+
let kernel_id () =
let id = match !kernel with
| Crg -> "crg"
stage := 3; trace := 0; summary := false;
xdir := ""; kernel := Brg; si := false; cover := "";
expand := false; indexes := false; icm := 0; unquote := false;
- debug_parser := false; debug_lexer := false
+ debug_parser := false; debug_lexer := false;
+ ma_preamble := ""