]> matita.cs.unibo.it Git - helm.git/commit
additions to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:48:41 +0000 (20:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:48:41 +0000 (20:48 +0000)
commitacc8b104721a11f2ebf328c13f4b245b03003c87
tree53447dda9c2d6beaf49aba61778811846aec7f48
parent8b1bc0a74dbc6c5854cbce31240ae829dfe7e8bf
additions to basic_2
helm/www/lambda_delta/web/home/basic_2_src.tbl