]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a5a2f3) | patch
- news update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Sep 2011 12:21:22 +0000 (12:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Sep 2011 12:21:22 +0000 (12:21 +0000)
commitcc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca
treec1540417cab74567460af1ffd54f8b2e7290055dtree | snapshot
parent0a5a2f3cf0e3f748feb5beaad413181163504509commit | diff
- news update
- the download directory is now complete
12 files changed:
helm/www/lambda_delta/documentation.html diff | blob | history
helm/www/lambda_delta/download/PNGnow2.png [new file with mode: 0644] blob
helm/www/lambda_delta/download/cie_2007.pdf [new file with mode: 0644] blob
helm/www/lambda_delta/download/globe_trans.png [new file with mode: 0644] blob
helm/www/lambda_delta/download/lambda_delta_1.tar.gz [new file with mode: 0644] blob
helm/www/lambda_delta/download/ld_talk_1s.pdf [new file with mode: 0644] blob
helm/www/lambda_delta/download/ld_talk_2s.pdf [new file with mode: 0644] blob
helm/www/lambda_delta/download/ld_talk_3s.pdf [new file with mode: 0644] blob
helm/www/lambda_delta/download/ld_talk_4s.pdf [new file with mode: 0644] blob
helm/www/lambda_delta/implementation.html diff | blob | history
helm/www/lambda_delta/index.html diff | blob | history
helm/www/lambda_delta/news.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.