X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2FTODO;h=73c4146d9dae65233dd4efbba4300a0c1bcc9052;hb=5591e27a010ba6eb06cbd61b5b22358f2d572871;hp=c7dd3acc83c0bdae869cacf5586cdd97e2a20230;hpb=bfcb2bf3391de8f0c4de9b8d35ea44ddc71a4291;p=helm.git

diff --git a/helm/software/matita/help/C/TODO b/helm/software/matita/help/C/TODO
index c7dd3acc8..73c4146d9 100644
--- a/helm/software/matita/help/C/TODO
+++ b/helm/software/matita/help/C/TODO
@@ -4,3 +4,9 @@
 
 2) to obtain a better pdf, package db2latex-xsl
 
+3) write a separate XSLT that includes the standard one
+
+4) have a look at:
+    svn checkout svn://svn.debian.org/svn/ddp/refcard/trunk
+    http://people.debian.org/~debacle/ (thanks Debacle!)
+