matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/depends.png

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/depends.png

2009-10-18	Enrico Tassi	...	blob \| commitdiff \| raw
2009-10-14	Enrico Tassi	cantor...	blob \| commitdiff \| raw \| diff to current
2009-10-11	Enrico Tassi	auto with intro	blob \| commitdiff \| raw \| diff to current
2009-09-15	Enrico Tassi	improved check in delift for flexible lc entries.	blob \| commitdiff \| raw \| diff to current
2009-09-08	Enrico Tassi	snapshot for CSC	blob \| commitdiff \| raw \| diff to current
2009-08-25	Enrico Tassi	initial and incomplete port of the old demo about induc...	blob \| commitdiff \| raw \| diff to current
2009-07-27	Claudio Sacerdoti...	setoids.ma split into setoids.ma + setoids1.ma	blob \| commitdiff \| raw \| diff to current
2009-07-27	Claudio Sacerdoti...	topology/igt.ma (???) \|-> sets/setoids.ma	blob \| commitdiff \| raw \| diff to current
2009-07-20	Claudio Sacerdoti...	nrewrite now working	blob \| commitdiff \| raw \| diff to current
2009-07-08	Enrico Tassi	few more files, one diverges	blob \| commitdiff \| raw \| diff to current
2009-07-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-07-07	Claudio Sacerdoti...	Let's play a bit with NG.	blob \| commitdiff \| raw \| diff to current

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