]> matita.cs.unibo.it Git - helm.git/commit
some inprovements on the generated html pages
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Aug 2010 11:37:52 +0000 (11:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 7 Aug 2010 11:37:52 +0000 (11:37 +0000)
commitb512c5a623a411cf8473367ac5bb6d8c9c7f7721
tree943a4de6eec2dc59c0e657880a55c361c7133165
parentf57c2060459d2b55567447b70590bc5a26933cc7
some inprovements on the generated html pages
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/xml/ld-html-entity.xsl
helm/software/lambda-delta/xml/ld-html-library.xsl
helm/software/lambda-delta/xml/ld-html-root.xsl