]> matita.cs.unibo.it Git - helm.git/commit
this is the real update :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Mar 2013 23:12:55 +0000 (23:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Mar 2013 23:12:55 +0000 (23:12 +0000)
commit7abd5e0412171f7d07e085d334198c034895c2c3
treec6a42947e62c157131dcbc25487b0a907c5ec120
parentebc95c29889f75f43a2ccc4dc2d1ca4e58c18629
this is the real update :)
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html