]> matita.cs.unibo.it Git - helm.git/commitdiff
added a couple of points
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 06:15:39 +0000 (06:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 14 May 2006 06:15:39 +0000 (06:15 +0000)
helm/software/matita/help/C/TODO

index c7dd3acc83c0bdae869cacf5586cdd97e2a20230..73c4146d9dae65233dd4efbba4300a0c1bcc9052 100644 (file)
@@ -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!)
+