]>
2008-05-18 | Claudio Sacerdoti... | Dummy dependent products in inductive types arities... | blob | commitdiff | raw |
2008-03-10 | Claudio Sacerdoti... | Scripts fixed because of: | blob | commitdiff | raw | diff to current |
2008-02-07 | Claudio Sacerdoti... | ProdT was a perfect copy of Prod. Removed. | blob | commitdiff | raw | diff to current |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |
2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
2007-01-16 | Andrea Asperti | Some CoRN files. | blob | commitdiff | raw | diff to current |
2006-11-23 | Andrea Asperti | Adding CoRN. | blob | commitdiff | raw | diff to current |