]> matita.cs.unibo.it Git - helm.git/commit
bug fix in xslt: missing ld namespace
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 12:03:12 +0000 (12:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 12:03:12 +0000 (12:03 +0000)
commit802383ec61e0466b5cc75a1347eddc4c438e352d
tree2139c62e3d5720c4f3288924413cd9053abc5d75
parenteadeb433386822aac6862c76ba73957c07a99098
bug fix in xslt: missing ld namespace
helm/www/lambda_delta/Makefile
helm/www/lambda_delta/xslt/lddl_entity.xsl
helm/www/lambda_delta/xslt/lddl_library.xsl
helm/www/lambda_delta/xslt/lddl_root.xsl
helm/www/lambda_delta/xslt/lddl_term.xsl