]> matita.cs.unibo.it Git - helm.git/commit
- file names update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Nov 2011 15:54:03 +0000 (15:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Nov 2011 15:54:03 +0000 (15:54 +0000)
commitbca27d3594ce368ee5afb6bc6300a6254c4b45d9
tree1f54a5330e3b1fb337e982c54ca0ddfea5a64fbd
parentabb05f68e516cc9ad9160a9bca4a2f4158990153
- file names update
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl