]> matita.cs.unibo.it Git - helm.git/commit
- bugfix in stylesheets
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 18:59:57 +0000 (18:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 18:59:57 +0000 (18:59 +0000)
commit72ced8ef1347b660fa45437443553ceeea8af57a
treea8074115d18e03e0e96a7a69507aeb70b724e14d
parenta255d83ebcb9b700a6f30cbcd109d223fc0d98cb
- bugfix in stylesheets
- lddl data set released
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/download/lddl.tar.bz2
helm/www/lambdadelta/xslt/ld_web_root.xsl
helm/www/lambdadelta/xslt/lddl_root.xsl