exception inside regex callback not re-raised if equal to sys.break

[helm.git] / helm / software / matita / applyTransformation.mli

diff --git a/helm/software/matita/applyTransformation.mli b/helm/software/matita/applyTransformation.mli
index 788ef6810979f88531e7269cf0c64ad744627b85..4b0251743407291e890801475b023135f2fc9c21 100644 (file)
--- a/helm/software/matita/applyTransformation.mli
+++ b/helm/software/matita/applyTransformation.mli
@@ -77,3 +77,9 @@ val txt_of_cic_object:
 val txt_of_inline_macro:
   map_unicode_to_tex:bool -> 
    GrafiteAst.presentation_style -> string -> string -> string
+
+(* columns, rendering depth, context, term *)
+val procedural_txt_of_cic_term: 
+  map_unicode_to_tex:bool -> int -> ?depth:int -> 
+  Cic.context -> Cic.term ->
+    string