X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=0c32d1138e775bb51c17ed21b47fc2b90e73741b;hb=ac97468f5422efc770316286cb807e3d3245a474;hp=b77757ddb6bbfb49e56ad17118aa44dac33238ae;hpb=f72311aa07e71090a24eef9e4fb97cc2e95e6b16;p=helm.git

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index b77757ddb..0c32d1138 100644
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -18,6 +18,8 @@ type kernel = Crg | Brg | Bag
 
 (* interface functions ******************************************************)
 
+let version_string = "Helena 0.8.2 M - November 2014"
+
 let stage = ref 3            (* stage *)
 
 let trace = ref 0            (* trace level *)
@@ -46,6 +48,8 @@ let debug_parser = ref false (* output parser debug information *)
 
 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"
@@ -66,4 +70,5 @@ let clear () =
    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 := ""