X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitacLib.ml;h=1297a47473839a8e4da1573374000538f5eef994;hb=e01d6c3dc338c2a4a5ee37305d9b09cb2ab0cc6c;hp=ee09258e07bad2f80fd62af05a1a1810c5e26267;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index ee09258e0..1297a4747 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -48,7 +48,7 @@ let run_script is eval_function  =
   in
   let slash_n_RE = Pcre.regexp "\\n" in
   let cb = 
-    if Helm_registry.get_bool "matita.quiet" then 
+    if Helm_registry.get_int "matita.verbosity" < 1 then 
       (fun _ _ -> ())
     else 
       (fun grafite_status stm ->
@@ -171,12 +171,12 @@ let main ~mode =
     | `Debug | `Message -> ()
     | `Warning | `Error -> origcb tag s
   in
-  if Helm_registry.get_bool "matita.quiet" then
+  if Helm_registry.get_int "matita.verbosity" < 1 then
     HLog.set_log_callback newcb;
   let matita_debug = Helm_registry.get_bool "matita.debug" in
   try
     let time = Unix.time () in
-    if Helm_registry.get_bool "matita.quiet" then
+    if Helm_registry.get_int "matita.verbosity" < 1 then
       origcb `Message ("compiling " ^ Filename.basename fname ^ "...")
     else
       HLog.message (sprintf "execution of %s started:" fname);