]> matita.cs.unibo.it Git - helm.git/commit
an addition to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 20 Jun 2012 18:54:06 +0000 (18:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 20 Jun 2012 18:54:06 +0000 (18:54 +0000)
commit0c442e9d5804a828b4a7ae6eb8a172ded6f477c9
treef89a90a20429d32bc373fb2630afa8794d77aee0
parentfec1a061eeca5e7e05b4f0c3e299983b163569c3
an addition 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