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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 22 Jul 2016 17:12:51 +0000 (17:12 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 22 Jul 2016 17:12:51 +0000 (17:12 +0000)
commit	6864d67d5a0e5950a4d5f744866e89215e08ace0
tree	5a9184677e17e115f8b130a988c85e6e60a92ee8	tree \| snapshot
parent	ed87c2c166f9f5db2729772e55154d7858dae4d6	commit \| diff

site update

19 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		diff \| blob \| history
helm/www/lambdadelta/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/home.html	[new file with mode: 0644]	blob
helm/www/lambdadelta/images/b1.png	[new file with mode: 0644]	blob
helm/www/lambdadelta/implementation.html		diff \| blob \| history
helm/www/lambdadelta/index.html	[deleted file]	blob \| history
helm/www/lambdadelta/news.html		diff \| blob \| history
helm/www/lambdadelta/osn.html		diff \| blob \| history
helm/www/lambdadelta/specification.html		diff \| blob \| history
helm/www/lambdadelta/web/home/home.ldw.xml	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/implementation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/index.ldw.xml	[deleted file]	blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web_library.xsl		diff \| blob \| history

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