]> matita.cs.unibo.it Git - helm.git/commit
we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 17 Nov 2010 22:05:52 +0000 (22:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 17 Nov 2010 22:05:52 +0000 (22:05 +0000)
commit1bcb1921390d24e02d716614648e749bac6f5933
tree2ead69a4819427488790968a7bbe6d7b35a253fa
parentfc0401d0b8ef2c4f437d1e533dd0331d9b91082b
we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
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
helm/software/lambda-delta/xml/ld-html-term.xsl
helm/software/lambda-delta/xml/ld-html.css [new file with mode: 0644]
helm/software/lambda-delta/xml/ld-html.xsl