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: 1330e8b) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 5 Mar 2017 17:08:20 +0000 (17:08 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 5 Mar 2017 17:08:20 +0000 (17:08 +0000)
commit	e2b4ff64df523b4be9d7dc4e92386945846426e7
tree	ef7462bcb4da031d4d3332450a544112714aaea8	tree \| snapshot
parent	1330e8b45155fc972bc18c4e5fd69897afa3cbe8	commit \| diff

advances on cpxs and cnx (cnxa removed) ,,,

15 files changed:

matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtystrong_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_tdeq.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.