]> matita.cs.unibo.it Git - helm.git/commit
some corrections to the prose of the web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 12:28:43 +0000 (12:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Dec 2012 12:28:43 +0000 (12:28 +0000)
commit158da000d9934317055becd9c221c15395970982
tree69a984244057ba1a4b0ec0768229b4ea74681c2c
parentc259a5f9cacd93550e80d2195ff4bf68a0d55ddb
some corrections to the prose of the web site
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html