]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/bin/xhtbl/options.ml
update in ground
[helm.git] / matita / matita / contribs / lambdadelta / bin / xhtbl / options.ml
1 let output_dir_default = ""
2
3 let baseuri_default = ""
4
5 let debug_lexer_default = false
6
7 let debug_pass_default = false
8
9 let pass_default = false
10
11 let output_dir = ref output_dir_default
12
13 let baseuri = ref baseuri_default
14
15 let debug_lexer = ref debug_lexer_default
16
17 let d0 = ref debug_pass_default
18
19 let d1 = ref debug_pass_default
20
21 let d2 = ref debug_pass_default
22
23 let e1 = ref debug_pass_default
24
25 let e2 = ref debug_pass_default
26
27 let p0 = ref pass_default
28
29 let p1 = ref pass_default
30
31 let p2 = ref pass_default
32
33 let clear () =
34    output_dir := output_dir_default;
35    baseuri := baseuri_default;
36    debug_lexer := debug_lexer_default;
37    d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default; 
38    e1 := debug_pass_default; e2 := debug_pass_default;
39    p0 := pass_default; p1 := pass_default; p2 := pass_default