]> matita.cs.unibo.it Git - helm.git/commit
additions in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Apr 2012 16:05:54 +0000 (16:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Apr 2012 16:05:54 +0000 (16:05 +0000)
commitdc66c8d89a5147178ccdacb8341ed26c9c52f06b
tree701c4fb2ac3ab944ff895118b065e01ab980dc70
parent913512bbc9202f2109d53acd43dc8c0270b17184
additions 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