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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 09:40:28 +0000 (09:40 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 20 Jul 2014 09:40:28 +0000 (09:40 +0000)
commit	7f349a4f0175068138a341081d0dd14fd9fe4c4a
tree	1622e9bf6a059aa0156b967e45aa3073ad8ca8e3	tree \| snapshot
parent	7de928055eb4f717303fa36e287196c6d93cea78	commit \| diff

- update in ground_2 and basic_2
- the third page of the web site is generated

14 files changed:

helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/Makefile		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/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	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/documentation_1.tbl	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/documentation_2.tbl	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history

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