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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Jan 2015 12:10:43 +0000 (12:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 22 Jan 2015 12:10:43 +0000 (12:10 +0000)
commit	e90313fa853ba63f29416c2d0de40b13c913e567
tree	14416c297a49f09f15af7b0cfb4f1266e72c2c5e	tree \| snapshot
parent	baab36c06f86166d1332ca8175b7193d70045b48	commit \| diff

informational page on ground_1

14 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		diff \| blob \| history
helm/www/lambdadelta/basic_2.html		diff \| blob \| history
helm/www/lambdadelta/documentation.html		diff \| blob \| history
helm/www/lambdadelta/ground_1.html	[new file with mode: 0644]	blob
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/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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