]> matita.cs.unibo.it Git - helm.git/commit
an addition to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jun 2012 20:39:26 +0000 (20:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jun 2012 20:39:26 +0000 (20:39 +0000)
commit24463efd3724f32c9de2683a0e4a13aacf311428
treef671a906b80b3c9a477561eb4c5861908b5d5b4c
parentfde3b3d2e6cc48f6c9880136b1a0d565e2c78c1f
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