]> matita.cs.unibo.it Git - helm.git/commit
file names and description update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Nov 2011 17:22:11 +0000 (17:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 14 Nov 2011 17:22:11 +0000 (17:22 +0000)
commiteaaba018b368be3410b6d966dde578af46064ec0
tree5608d98a4aaf36ad9206c138a42a22c41a80deda
parentd38087520d6ce1d696b28da40f3811291fc8a311
file names and description update
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl