]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 16 Feb 2017 11:24:32 +0000 (11:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 16 Feb 2017 11:24:32 +0000 (11:24 +0000)
commit3adf21d15f533c901cb82ee8d459d93ac8cf77a5
tree495c213a688bd6152d74484c8235ee222aa53d03
parent2002da6bcdbf12203a87a7d9630d738f67ede68c
update in basic_2 ...
13 files changed:
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/core.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_1.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/home.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/osn.html
helm/www/lambdadelta/specification.html