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

2009-09-23	Enrico Tassi	...	blob \| commitdiff \| raw
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

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