]> matita.cs.unibo.it Git - helm.git/commit
- lddl html pages: the transition to xhtml 1.1 + css 2 is complete
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 19 Nov 2010 17:19:04 +0000 (17:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 19 Nov 2010 17:19:04 +0000 (17:19 +0000)
commitc7ffbfc25d1de732804e3f1384cbb2a61305bb30
tree40dc65470d66fa36001d4f14b263c62ef68eeb71
parent66685cf7c01806a0b5f7ed80ecee3d5cd5cff90d
- lddl html pages: the transition to xhtml 1.1 + css 2 is complete
- helena: we made a 88 x 32 label for the Web
helm/software/lambda-delta/icons/helena-label.png [new file with mode: 0644]
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.css