]> matita.cs.unibo.it Git - helm.git/commit
additions to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Apr 2012 13:27:53 +0000 (13:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Apr 2012 13:27:53 +0000 (13:27 +0000)
commit6f7c6b72cc2b8574333de5dee02ef60c2638abde
tree870fceeadae6fc071e4eab081b1589699bf61d45
parent1efc4c2c7be1e4aff0ccccabf905d45795b3865f
additions to 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