]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2012 18:52:03 +0000 (18:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2012 18:52:03 +0000 (18:52 +0000)
commite17e8a363454a2a1ce9629a5f99d72196d8592a1
treeb095066ef78bc6b86f800e0b1eb96c84ffbee05a
parenta631aba16617079b3f4cba2ec5a5ef651090e48c
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