]> matita.cs.unibo.it Git - helm.git/commit
more file names added to Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Jan 2012 15:44:30 +0000 (15:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Jan 2012 15:44:30 +0000 (15:44 +0000)
commit2aea8f344b5bb1cd15b39203026fa70bee25a408
treed55d01839af63cf091492c90bee7cfd41c5ddf6a
parent720637242f8c46adef24da44f29129faa09469de
more file names added to Basic_2
helm/www/lambda_delta/Makefile
helm/www/lambda_delta/ld_basic_2.html
helm/www/lambda_delta/news.html
helm/www/lambda_delta/web/home/ld_basic_2.tbl