From: Stefano Zacchiroli Date: Tue, 13 Jun 2006 14:23:09 +0000 (+0000) Subject: new path for XSLT sytlesheets X-Git-Tag: make_still_working~7200 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a1005281fc2ce93d430716f530c717c8ad4278ef;hp=a1005281fc2ce93d430716f530c717c8ad4278ef;p=helm.git new path for XSLT sytlesheets ---