]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Jul 2012 17:44:50 +0000 (17:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Jul 2012 17:44:50 +0000 (17:44 +0000)
commit386e673720c99be50c1463e430763d630f9ca5d1
tree03ebbf126b38df2d7c617cdd6e11cc1e7c981db7
parentf79d97a42a84f94d37ad9589fcce46149ee23d12
update in basic_2
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/basic_2_src.tbl