X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeXOutput.ml;h=f18b2b44abbf787f3d637bfa11b2ac9aa8d75e2f;hb=5791ee6b64136ecb0a727e32997b33f4bfab2c31;hp=f92101c30738e4d5b4635d57489d8e833d4ad3da;hpb=709537efda53c6189ed3e3e9877f1f93ac6d512a;p=helm.git

diff --git a/matita/components/binaries/matex/TeXOutput.ml b/matita/components/binaries/matex/TeXOutput.ml
index f92101c30..f18b2b44a 100644
--- a/matita/components/binaries/matex/TeXOutput.ml
+++ b/matita/components/binaries/matex/TeXOutput.ml
@@ -32,6 +32,7 @@ let rec out_item och = function
    | T.Text s  -> P.fprintf och "%s" (X.fold_string quote "" s)
    | T.Macro s -> P.fprintf och "\\%s%%\n" s
    | T.Group t -> P.fprintf och "{%a}%%\n" out_text t
+   | T.Note s  -> P.fprintf och "%% %s\n" s
 
 (* interface functions ******************************************************)