X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.mli;h=95712f78eb269b6ed85aa4fe308c0745d8901b1d;hb=680b7493de237259ddb589a92be4b8bbc8de3cbf;hp=06bea6cc6b187719667c3ba5e63df5cbca096e96;hpb=6a5e51c1cf9a56c74a8b53a9b8bc5aa686c9780e;p=helm.git

diff --git a/helm/software/matita/applyTransformation.mli b/helm/software/matita/applyTransformation.mli
index 06bea6cc6..95712f78e 100644
--- 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 ->