]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Oct 2014 20:33:41 +0000 (20:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Oct 2014 20:33:41 +0000 (20:33 +0000)
commit060864edadf332c07663e85bdc2299ee64e191ee
treea32f204c066e7fd17e9746ea217d3c4b675effc2
parent106b25f0206beedc4e416d223accb1308ca7161b
update in basic_2 ...
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html