]> matita.cs.unibo.it Git - helm.git/commit
old pabes removed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Oct 2014 14:49:07 +0000 (14:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Oct 2014 14:49:07 +0000 (14:49 +0000)
commit7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4
tree198e5c06cdd390a901bbde3a647f35e4f77a8e5f
parentb7395f3e72f7c8db2d81ef8abc8549695c089eca
old pabes removed
helm/www/lambdadelta/version_1.html [deleted file]
helm/www/lambdadelta/version_2.html [deleted file]