]> matita.cs.unibo.it Git - helm.git/commit
- milestone update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2012 15:08:39 +0000 (15:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2012 15:08:39 +0000 (15:08 +0000)
commit08db2212621969b85852de3bd0677149135df0fe
tree64ebd8424b39732f07a708fb053cf8cdfd6a17f2
parent83fcc60ebb369516f291209925ffa42ba64e24f9
- milestone update in basic_2
- html bugfix in hand written web pages
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/implementation.html
helm/www/lambda_delta/news.html
helm/www/lambda_delta/web/home/basic_2.ldw.xml
helm/www/lambda_delta/web/home/basic_2_src.tbl