]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Mar 2012 20:04:04 +0000 (20:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Mar 2012 20:04:04 +0000 (20:04 +0000)
commitb0e53eab5aa92b80f4d13a638e6ca55c054be6e5
tree631714e8b8fefc9e3ad0cb3b11340b8a30fe348e
parent4a5254d45ba455e195b7ae2afca2212446e65ca3
update in basic_2
helm/www/lambda_delta/ld_apps_2.html
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2_src.tbl