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: 685c364) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 18 Feb 2015 18:19:58 +0000 (18:19 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 18 Feb 2015 18:19:58 +0000 (18:19 +0000)
commit	67fede5f273328bf920ad609f15d4f2389493c5c
tree	1392771f523675c2bbb8fa1c90443a9838a217bd	tree \| snapshot
parent	685c36442ffed93a7bb0de464d35478821884c77	commit \| diff

first article on lambdadelta version 3

16 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/download/gda.pdf	[new file with mode: 0644]	blob
helm/www/lambdadelta/ground_1.html		diff \| blob \| history
helm/www/lambdadelta/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/images/b8.png	[new file with mode: 0644]	blob
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/documentation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/documentation_3.tbl	[new file with mode: 0644]	blob
helm/www/lambdadelta/xslt/ld_web_root.xsl		diff \| blob \| history

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