]> matita.cs.unibo.it Git - helm.git/commit
now the update is complete
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Oct 2014 21:22:14 +0000 (21:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 2 Oct 2014 21:22:14 +0000 (21:22 +0000)
commit6f1f9e20aa2775d41bba64289fc903e6612baaf3
tree2c9c3b17cf441344afecf2c57e7b3e3b5d12e2f1
parentd71ad5c0d52dff8bc4b77216fbcb0b65ecd7d391
now the update is complete
helm/www/lambdadelta/basic_2.html