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: 2c1011d) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 11 Oct 2011 17:27:11 +0000 (17:27 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 11 Oct 2011 17:27:11 +0000 (17:27 +0000)
commit	b0dce88ff4c55b5f811ce9e183418479f7d34d2a
tree	1af2e42202a8b1fa62b3ca87e34932eda111654c	tree \| snapshot
parent	2c1011db3fc76ca4ed011fd35e8593245403e254	commit \| diff

- cpr_lsubs_conf proved! (was pr2_change)
- some "-" removed :)

matita/matita/contribs/lambda_delta/Basic_2/Basic-1.txt	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/lsubs.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Makefile		diff \| blob \| history

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