]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Jun 2012 12:36:29 +0000 (12:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Jun 2012 12:36:29 +0000 (12:36 +0000)
commit1d7c90aaa2a5d5dadb3bca87d56bf717efab4361
tree0d7bdebb4e8e8a53c44a8cf760b6a77f89c1dac2
parentcb38da6095e3af84131a3ebf47a9f252f34a804c
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_blk.tbl
helm/www/lambda_delta/web/home/basic_2_src.tbl