matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 25a789c) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 7 Aug 2014 17:19:49 +0000 (17:19 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 7 Aug 2014 17:19:49 +0000 (17:19 +0000)
commit	abd0169d8025bf4d613a612231ad5b0c4c1db009
tree	bb746680e3031f0759ecea2c8179f5e01a956b66	tree \| snapshot
parent	25a789c7374bff86f42673e330b8b435fa3b7d68	commit \| diff

- update in basic_2
- minor updates in the web site, including css bugfix

15 files changed:

helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/apps_2.html		diff \| blob \| history
helm/www/lambdadelta/basic_2.html		diff \| blob \| history
helm/www/lambdadelta/css/ld_web.css		diff \| blob \| history
helm/www/lambdadelta/css/xhtbl.css		diff \| blob \| history
helm/www/lambdadelta/documentation.html		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta_2.tar.gz		diff \| blob \| history
helm/www/lambdadelta/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/implementation.html		diff \| blob \| history
helm/www/lambdadelta/index.html		diff \| blob \| history
helm/www/lambdadelta/news.html		diff \| blob \| history
helm/www/lambdadelta/version_1.html		diff \| blob \| history
helm/www/lambdadelta/version_2.html		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/versions.tbl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.