]> matita.cs.unibo.it Git - helm.git/commit
updates in basic_2 ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 13 Oct 2012 21:37:29 +0000 (21:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 13 Oct 2012 21:37:29 +0000 (21:37 +0000)
commit43d727778aacdda8feb1228cf37860e7713930f2
treed8a4bcf8db16ac6094da77a2e6e099547e4a82e1
parent7bedf1797ba168f0742194b2add69575e5d4a5cd
updates in basic_2 ...
helm/www/lambda_delta/BTM.html
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/basic_2_src.tbl