matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/topology/igft.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/topology/igft.ma

[helm.git] / helm / software / matita / nlibrary / topology / igft.ma

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

RSS Atom

2009-10-16	Enrico Tassi	...	blob \| commitdiff \| raw
2009-10-14	Enrico Tassi	cantor...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	minor fix	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	tons of typo fixed	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-13	Enrico Tassi	more comments	blob \| commitdiff \| raw \| diff to current
2009-10-06	Enrico Tassi	removed useless stuff	blob \| commitdiff \| raw \| diff to current
2009-10-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-10-04	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-10-04	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-09-29	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-29	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-28	Enrico Tassi	non ho resistito!	blob \| commitdiff \| raw \| diff to current
2009-09-25	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-25	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-25	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-24	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-24	Enrico Tassi	ncheck works in the current ctx	blob \| commitdiff \| raw \| diff to current
2009-09-24	Enrico Tassi	....	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	more on screenshot	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	new macro screenshot	blob \| commitdiff \| raw \| diff to current
2009-09-22	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-21	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-17	Enrico Tassi	more work for igft	blob \| commitdiff \| raw \| diff to current
2009-09-16	Enrico Tassi	more notation for topologies, and some prentheses that...	blob \| commitdiff \| raw \| diff to current
2009-09-13	Enrico Tassi	a nice bug in meta handling is not visible... brr...	blob \| commitdiff \| raw \| diff to current
2009-09-11	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-09-11	Enrico Tassi	constructor accepts the arguments of the constructor...	blob \| commitdiff \| raw \| diff to current
2009-09-10	Enrico Tassi	it starts to work	blob \| commitdiff \| raw \| diff to current
2009-09-08	Enrico Tassi	snapshot for CSC	blob \| commitdiff \| raw \| diff to current
2009-08-28	Enrico Tassi	alias bug revealed	blob \| commitdiff \| raw \| diff to current
2009-08-25	Enrico Tassi	...	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