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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 25 Oct 2017 19:44:02 +0000 (19:44 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 25 Oct 2017 19:44:02 +0000 (19:44 +0000)
commit	a0462cc68401e561a041f1e567dec40cd522cab8
tree	9a13c4416a0fd490f603a8b94b02e3869d6677bf	tree \| snapshot
parent	aed322a0e2db2c8248281582e324ef09cd732421	commit \| diff

- exclusion binder in local environments
portions updated of: cpxs, lfpxs

matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lfpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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