]> matita.cs.unibo.it Git - helm.git/commit
Basic_2 file names update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Nov 2011 17:45:16 +0000 (17:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Nov 2011 17:45:16 +0000 (17:45 +0000)
commit84d31c59b46b61089b0df11c58ccde5c30361588
tree66c00922778fbbf7eb7c5af881fdf996d8584546
parent6d5413dfe7cb3be64f7c014c891ac05553daeb02
Basic_2 file names update
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl