]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2, web page for ground_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Nov 2013 16:07:56 +0000 (16:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Nov 2013 16:07:56 +0000 (16:07 +0000)
commitc9a1672c725945b47f9ea8af3c23b67cf9026f01
tree1f5d6b94e52e8107d5702ff6fa3f87f18df0239e
parentab0d181f9a89f461a9c280f42a949a2dc2abe44c
update in ground_2, web page for ground_2
helm/www/lambdadelta/ground_2.html [new file with mode: 0644]
helm/www/lambdadelta/news.html