]> matita.cs.unibo.it Git - helm.git/commit
partial commit in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 May 2013 20:55:35 +0000 (20:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 May 2013 20:55:35 +0000 (20:55 +0000)
commit24ccb1f19b64d27f0f3c766e2b1503bd8e3b4786
tree2b397a5e959639aae7cf5615e76cc736c7cf6b5d
parente02bd4f3df78b5cc374d49d0ddf48b311188f514
partial commit in basic_2
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html