]> matita.cs.unibo.it Git - helm.git/commit
some corrections
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 19:04:06 +0000 (19:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Nov 2012 19:04:06 +0000 (19:04 +0000)
commit93784f891de6d7840646a963c964e8877b3b50b2
tree30a8a8c55c08992e96fc9836497a5819d0efe379
parentcb69329a926f5815a988d401cbd4bb46d272700a
some corrections
helm/www/lambda_delta/documentation.html
helm/www/lambda_delta/index.html