]> matita.cs.unibo.it Git - helm.git/commit
additions and corrections to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Jul 2012 19:02:27 +0000 (19:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Jul 2012 19:02:27 +0000 (19:02 +0000)
commit99c8b28b92ec2c44774f664f9c9ec1a458593e1d
tree85909bb2a94c3cbc7535406640ab74919870d667
parentb405363d37a437e86705bd85f5b549a36878e7d5
additions and corrections 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.ldw.xml
helm/www/lambda_delta/web/home/basic_2_src.tbl