X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fmatita-tex.xsl;h=5f51e7cbc00b65417288f9fdb9c9984ee4347689;hb=2851de1130a59daee3776c3264dbd4d04d64d70b;hp=94129a312570befb95984b02011cbcf76bf81a5a;hpb=33cf2560332d4604382be34c632259ae7f264ac8;p=helm.git
diff --git a/helm/software/matita/help/C/matita-tex.xsl b/helm/software/matita/help/C/matita-tex.xsl
index 94129a312..5f51e7cbc 100644
--- a/helm/software/matita/help/C/matita-tex.xsl
+++ b/helm/software/matita/help/C/matita-tex.xsl
@@ -6,4 +6,26 @@
/usr/share/xml/docbook/stylesheet/db2latex/latex/figures
+ utf8x
+ \usepackage{txfonts}
+\SetUnicodeOption{mathletters} % prefer math-mode letters
+
+ 0
+
+
+
+
+ \begin{tabular}{rcll}
+
+
+ \end{tabular}
+
+
+
+
+ \paragraph*{
+
+ }
+
+