]> matita.cs.unibo.it Git - helm.git/commit
-- some renaming in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 25 Oct 2011 12:27:34 +0000 (12:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 25 Oct 2011 12:27:34 +0000 (12:27 +0000)
commit5b42070b6644e184a762ac3c4e4a0f3cf5532b8c
tree394db412344e6d1038369ecb1bf46a887c028c76
parent55472556fddad19323a80bda2ff8d9e6dc8a8f38
-- some renaming in basic_2
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl