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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 21 Feb 2015 22:53:01 +0000 (22:53 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 21 Feb 2015 22:53:01 +0000 (22:53 +0000)
commit	d1ab998b8c8dacdfceee97d6275955675cf8be83
tree	0c47c6bf30018744292fc068f57fa4c1bc4701d6	tree \| snapshot
parent	c6aece41fb3865f411bfe2a886b3b3cfb519031f	commit \| diff

- update for helena 0.8.2 and related files
- updated bibliography

19 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_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/download/grundlagen_2.tar.bz2		diff \| blob \| history
helm/www/lambdadelta/download/grundlagen_2.v	[new file with mode: 0644]	blob
helm/www/lambdadelta/download/helena_0.8.2.tar.gz		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta.bib		diff \| blob \| history
helm/www/lambdadelta/download/lambdadelta.txt		diff \| blob \| history
helm/www/lambdadelta/ground_1.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/implementation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/news.ldw.xml		diff \| blob \| history

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