]> matita.cs.unibo.it Git - helm.git/commit
refactoring of the butterflies :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Jul 2014 14:57:32 +0000 (14:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Jul 2014 14:57:32 +0000 (14:57 +0000)
commit8ece314152135bef6cfc427482ee619a3c4fd0b8
tree230acde2ccbb749a6bcbf35f2153043ac0379c31
parentbda6d964ce9729a694e3fd3ead386ca9f2ca14e3
refactoring of the butterflies :)
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/web/home/documentation.ldw.xml
helm/www/lambdadelta/web/home/implementation.ldw.xml
helm/www/lambdadelta/web/home/index.ldw.xml
helm/www/lambdadelta/web/home/news.ldw.xml