]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 May 2012 20:30:28 +0000 (20:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 May 2012 20:30:28 +0000 (20:30 +0000)
commitafd3d6608f2248b35812c0e826791ba09c873dc2
tree0ae951e0d0c294ace6117398df367cee50a9ec82
parent78d4844bcccb3deb58a3179151c3045298782b18
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