]> matita.cs.unibo.it Git - helm.git/commit
- update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Apr 2012 13:16:47 +0000 (13:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Apr 2012 13:16:47 +0000 (13:16 +0000)
commiteca7393f8b871fd1d7838cfd5a176a80f4ec48c5
tree0cba9acc1e732fb961668f19e91aa67f6f7adeaf
parentde64015de66a48373ade6cab7508d8f8e2c43af9
- update in 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