From 6dc97b56be49ef7860f81ab36bf47b45db3f2053 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 14 May 2006 06:15:39 +0000 Subject: [PATCH] added a couple of points --- matita/help/C/TODO | 6 ++++++ 1 file changed, 6 insertions(+) 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!) + -- 2.39.2