matita.cs.unibo.it Git - helm.git/history - matita/dama/ordered

]> matita.cs.unibo.it Git - helm.git/history - matita/dama/ordered_groups.ma

2007-11-17	Enrico Tassi	fixed bugs found by csc	blob \| commitdiff \| raw
2007-11-16	Claudio Sacerdoti...	Some notes for Enrico.	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	more cleanup	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	ogroups almost finished	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2007-11-13	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2007-11-13	Ferruccio Guidi	previously hidden simplifications (in old destruct...	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	some work till the need of redoing all groups based...	blob \| commitdiff \| raw \| diff to current
2007-11-07	Enrico Tassi	reorganization of the whole story, the root dir contain...	blob \| commitdiff \| raw \| diff to current
2007-01-02	Claudio Sacerdoti...	There used to be two minimal joins between an ordered_s...	blob \| commitdiff \| raw \| diff to current

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