From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 14 May 2006 06:15:39 +0000 (+0000)
Subject: added a couple of points
X-Git-Tag: 0.4.95@7852~1472
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6dc97b56be49ef7860f81ab36bf47b45db3f2053;p=helm.git

added a couple of points
---

diff --git a/matita/help/C/TODO b/matita/help/C/TODO
index c7dd3acc8..73c4146d9 100644
--- a/matita/help/C/TODO
+++ b/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!)
+