matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 23 Feb 2016 15:36:51 +0000 (15:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 23 Feb 2016 15:36:51 +0000 (15:36 +0000)
commit	91ab6965be539b7ed0f3208e1c1fffd17aa151f7
tree	48731308c7dce71d3f5bab1bc521ad22fdb6e588	tree \| snapshot
parent	5791ee6b64136ecb0a727e32997b33f4bfab2c31	commit \| diff

precommit for rtmap ...

20 files changed:

matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/funexteq_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/istotal_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_isid.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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

RSS Atom