]> matita.cs.unibo.it Git - helm.git/commit
- xslt and Makefile improved, web pages regenerated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Mar 2013 12:59:19 +0000 (12:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Mar 2013 12:59:19 +0000 (12:59 +0000)
commitcc072ef7058246bbc0deaf3e44a75b0e5977df65
tree9f7b91e6155d19774daf8d04525190e039697f8d
parent65c5a379db69f0df0c803f4b24bb3219c9da752a
- xslt and Makefile improved, web pages regenerated
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/xslt/ld_web.xsl
helm/www/lambdadelta/xslt/ld_web_root.xsl
helm/www/lambdadelta/xslt/lddl_library.xsl