]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 May 2012 21:12:25 +0000 (21:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 May 2012 21:12:25 +0000 (21:12 +0000)
commit38a32a37e587326fb5c3b0c9130c13329ddac8e6
tree5d1ee28162ddb102296d70eed455e80ab963f4e2
parent5ac2dc4e01aca542ddd13c02b304c646d8df9799
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