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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Feb 2021 00:17:59 +0000 (01:17 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 27 Feb 2021 00:17:59 +0000 (01:17 +0100)
commit	da0775e27b362e91ea1453a800bc403781cc2ca3
tree	3f250392853581b758c45df23e157865d0b1b2c8	tree \| snapshot
parent	d9824956d9132109ed5f23380a0a1f9c5181d18a	commit \| diff

removing old contribs

+ RELATIONAL: side copies removed
+ developments.txt updated

45 files changed:

helm/software/matita/contribs/RELATIONAL/Makefile	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NLE/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NLE/inv.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NLE/nplus.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NLE/order.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NLE/props.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlus/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlus/fun.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlus/inv.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlus/monoid.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlusList/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/NPlusList/props.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/ZEq/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/ZEq/setoid.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/datatypes/Bool.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/datatypes/List.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/datatypes/Nat.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/datatypes/Zah.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/depends	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/preamble.ma	[deleted file]	blob \| history
helm/software/matita/contribs/RELATIONAL/root	[deleted file]	blob \| history
helm/software/matita/contribs/developments.txt		diff \| blob \| history
matita/matita/contribs/developments.txt		diff \| blob \| history
matitaB/matita/contribs/RELATIONAL/Makefile	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NLE/defs.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NLE/inv.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NLE/nplus.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NLE/order.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NLE/props.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlus/defs.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlus/fun.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlus/inv.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlus/monoid.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlusList/defs.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/NPlusList/props.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/ZEq/defs.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/ZEq/setoid.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/datatypes/Bool.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/datatypes/List.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/datatypes/Nat.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/datatypes/Zah.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/depends	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/preamble.ma	[deleted file]	blob \| history
matitaB/matita/contribs/RELATIONAL/root	[deleted file]	blob \| history
matitaB/matita/contribs/developments.txt		diff \| blob \| history

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

RSS Atom