]> matita.cs.unibo.it Git - helm.git/commit
remote update by make
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 15:35:16 +0000 (15:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 15:35:16 +0000 (15:35 +0000)
commit825e99e07fb3a98e114e7841ddbaf4f0d50f351e
tree9da4261ac96820aef6c5ed3cb5a7ce17b30811a1
parent96c5bba006710411b469c2ddf5439cf337a8e6b9
remote update by make
helm/www/lambda_delta/Makefile
helm/www/lambda_delta/implementation.html