]> matita.cs.unibo.it Git - helm.git/commit
milestone update in basic_2!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 18:27:33 +0000 (18:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 18:27:33 +0000 (18:27 +0000)
commitafe1661e69d1fdec2a65abe1ea9abdae03874967
treee2b0dd5c3514500b20e4f0ce3a892d9470c6c13b
parent7cf0b6c720e4d7fa05dd25ec0ad0478c0802ba67
milestone update in basic_2!
helm/www/lambda_delta/ld_apps_2.html
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
helm/www/lambda_delta/web/home/ld_basic_2_src.tbl