]> matita.cs.unibo.it Git - helm.git/commit
big fixin the structure of Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Jan 2012 21:28:26 +0000 (21:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 Jan 2012 21:28:26 +0000 (21:28 +0000)
commit3ce12633d55b42c4a5b4e3e601563747b873cc47
tree8202b597cc64a0051eff94d2737d64064f4884ab
parentfaf48c4e026cf64a82095d024c356e091bf48ebf
big fixin the structure of Basic_2
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl