]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2 and apps_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 17 Mar 2012 17:11:18 +0000 (17:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 17 Mar 2012 17:11:18 +0000 (17:11 +0000)
commit2fd3cd6a9477c2244391c16a230f69b4a231e5ab
treeee20d0923c9ba43610952815dd7922e78991a8f3
parente0827239f4b44f2af9c7f88c4c7c41f2a193ae37
update in basic_2 and apps_2
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/apps_2.ldw.xml
helm/www/lambda_delta/web/home/basic_2.ldw.xml
helm/www/lambda_delta/web/home/basic_2_src.tbl