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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 18 Jan 2015 16:51:36 +0000 (16:51 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 18 Jan 2015 16:51:36 +0000 (16:51 +0000)
commit	0cb16b42f119c1cb6135f237092892e2f82929ee
tree	6d35691404f6b5ca26ba1909ba8db1f3720dd921	tree \| snapshot
parent	bfdaedc0ea2ee29ce9444ce1283a2642a86e8d86	commit \| diff

- we add an informational page on \lambda\delta version 1 (core)
- web site update

17 files changed:

helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/apps_2.html		diff \| blob \| history
helm/www/lambdadelta/basic_1.html	[new file with mode: 0644]	blob
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/specification.html		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml		diff \| blob \| history

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