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: 90ee1e8) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Jun 2013 16:42:29 +0000 (16:42 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 1 Jun 2013 16:42:29 +0000 (16:42 +0000)
commit	54a4872ce3e05e56ca36747df014aa506bd9c71d
tree	908897dd8f16d141da44779314fdc1d70c4572cc	tree \| snapshot
parent	90ee1e85245752414b93826aabe388409571187a	commit \| diff

update in basic_2 and apps_2

helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/apps_2.html		diff \| blob \| history
helm/www/lambdadelta/basic_2.html		diff \| blob \| history
helm/www/lambdadelta/bin/Makefile.common	[new file with mode: 0644]	blob
helm/www/lambdadelta/bin/xhtbl/Makefile		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/Makefile.common	[deleted file]	blob \| history

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