]> matita.cs.unibo.it Git - helm.git/commit
- we improved and updated the generated web pages
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Dec 2011 17:10:51 +0000 (17:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Dec 2011 17:10:51 +0000 (17:10 +0000)
commit8344b3062fc040a7565e43b646d12197d1d51ee3
tree8010ca898eb92ef79c3c11e8531a3bab5404f49e
parentbf5696fc20ffbe552ecb1cd8af0d6fc78d1de9e8
- we improved and updated the generated web pages
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl
helm/www/lambda_delta/xslt/ld_web_root.xsl