X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ml;h=11ae70642bf6b36c5f59e2b644648ca23522c7e7;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=da09fb27dbea99945d407ad9003bdf7e64efccd3;hpb=d24be2bf64f06d08ec09e97743fda4b3d118ec80;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index da09fb27d..11ae70642 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -167,6 +167,12 @@ let _ =
     addDebugItem "print runtime dir"
       (fun _ ->
         prerr_endline BuildTimeConf.runtime_base_dir);
+    addDebugItem "disable all (pretty printing) notations"
+      (fun _ -> CicNotation.set_active_notations []);
+    addDebugItem "enable all (pretty printing) notations"
+      (fun _ ->
+        CicNotation.set_active_notations
+          (List.map fst (CicNotation.get_all_notations ())));
   end
   (** Debugging }}} *)