From: Stefano Zacchiroli Date: Sun, 14 May 2006 06:15:39 +0000 (+0000) Subject: added a couple of points X-Git-Tag: make_still_working~7372 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7242219e9c4934ed347d23dc7a66fbb280a117e1;p=helm.git added a couple of points --- 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!) +