updated probe and matitadep

[helm.git] / matita / components / binaries / probe / options.mli

diff --git a/matita/components/binaries/probe/options.mli b/matita/components/binaries/probe/options.mli
index 7b99bf535bb23d7f8b4f67c968348755f2e67006..c36695ef52e06674b828e26d08718d1174a1b53d 100644 (file)
--- a/matita/components/binaries/probe/options.mli
+++ b/matita/components/binaries/probe/options.mli
@@ -27,8 +27,16 @@ val exclude: NCic.source list ref
 
 val net: int ref
 
+val chars: int ref
+
+val debug_lexer: bool ref
+
 val no_devel: bool ref
 
 val no_init: bool ref
 
+val add_dep: NUri.uri -> NUri.uri -> unit
+
+val out_deps: string -> unit
+
 val clear: unit -> unit