]> matita.cs.unibo.it Git - helm.git/commit
- one file added to Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jan 2012 17:03:11 +0000 (17:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jan 2012 17:03:11 +0000 (17:03 +0000)
commit11c990c59a914e7d329b3181ce5373400927e25d
treed76c17db0c644b210d8d2f499dff67268c21de6b
parent48b202cd4ccd3ffc10f9a134314f747fdee30d36
- one file added to Basic_2
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl