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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 14:16:42 +0000 (14:16 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 14:16:42 +0000 (14:16 +0000)
commit	bda6d964ce9729a694e3fd3ead386ca9f2ca14e3
tree	dc4a81aad01565f55e07312136ed89a436028fb0	tree \| snapshot
parent	644307df315b855c3851f813b04d562acf2db9bc	commit \| diff

web site update

20 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/documentation.html		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta.bib		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta.txt		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/documentation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/documentation_1.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/documentation_2.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/implementation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/news.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/version_1.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/version_2.ldw.xml		diff \| blob \| history

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