]> matita.cs.unibo.it Git - helm.git/commit
- some additions to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 17:14:12 +0000 (17:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 17:14:12 +0000 (17:14 +0000)
commit2a5e781138f03034104184a40889c33515ac9778
tree6857f66874f9a1d06dbb99e87caa8c3459b0fd2c
parent38a7664fd355705596cb63cac87779688790fcb1
- some additions to basic_2
- new logo for lambda_delta
helm/www/lambda_delta/images/crux_177.png [new file with mode: 0644]
helm/www/lambda_delta/images/crux_177.xcf [new file with mode: 0644]
helm/www/lambda_delta/web/home/basic_2_src.tbl