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: 7f349a4) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 13:17:56 +0000 (13:17 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 13:17:56 +0000 (13:17 +0000)
commit	644307df315b855c3851f813b04d562acf2db9bc
tree	c062ab9f2514fa5ed2e423d884174dbc1d74c496	tree \| snapshot
parent	7f349a4f0175068138a341081d0dd14fd9fe4c4a	commit \| diff

the generation of the web site is completed!

14 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/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/implementation.ldw.xml	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/index.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web_root.xsl		diff \| blob \| history

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