]> matita.cs.unibo.it Git - helm.git/commit
we improved the stylesheets and we generated the static HTML pages
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Sep 2009 18:42:18 +0000 (18:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Sep 2009 18:42:18 +0000 (18:42 +0000)
commit03e172581072389796cbc1d3e2d7b16956b95c8a
treec4f433b4df5f236dba4109eeb1d49d867b0a1084
parente956eab1116ae48a298e3c6701f93178e53ab24f
we improved the stylesheets and we generated the static HTML pages
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/xml/ld-html-entry.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.xsl