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: 3c7b407) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 21 Apr 2020 12:35:09 +0000 (14:35 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 21 Apr 2020 21:15:40 +0000 (23:15 +0200)
commit	b2cdc4abd9ac87e39bc51b0d9c38daea179adbd5
tree	4e9dc22c3bb1ffd9acedd3d2003260e24d295c43	tree \| snapshot
parent	3c7b4071a9ac096b02334c1d47468776b948e2de	commit \| diff

update in basic_2

+ rpx_req: cpx_teqx_conf_rex replaced by cpx_teqx_repl_reqx

12 files changed:

matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_reqx.ma		diff \| blob \| history

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