]> matita.cs.unibo.it Git - helm.git/commit
named anchors replaced by ids as requested by xhtml
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 15:05:48 +0000 (15:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 15:05:48 +0000 (15:05 +0000)
commite586251363da945585f3a39bdffee9a759f36f22
tree962c37a48fd2a6086ac5e2993aef27a7712670c0
parentc0d87c3cdf879f61aa53e91f43580e9815ae7190
named anchors replaced by ids as requested by xhtml
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/css/ld_web.css
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/xslt/ld_web_root.xsl