New version.

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

diff --git a/helm/software/matita/applyTransformation.mli b/helm/software/matita/applyTransformation.mli
index 06bea6cc6b187719667c3ba5e63df5cbca096e96..95712f78eb269b6ed85aa4fe308c0745d8901b1d 100644 (file)
--- a/helm/software/matita/applyTransformation.mli
+++ b/helm/software/matita/applyTransformation.mli
@@ -78,6 +78,12 @@ val txt_of_inline_macro:
   ?flavour:Cic.object_flavour -> string -> string ->
     string
 
+val txt_of_macro:
+  map_unicode_to_tex:bool ->
+    Cic.metasenv ->
+    Cic.context ->
+    (Cic.term, Cic.lazy_term) GrafiteAst.macro -> string
+
 (* columns, rendering depth, context, term *)
 val procedural_txt_of_cic_term: 
   map_unicode_to_tex:bool -> int -> ?depth:int ->