projects / helm.git / history
| 2006-01-09 | Stefano Zacchiroli | changes location of coq.ma (now "legacy/coq.ma") | blob | commitdiff | raw |
| 2005-10-25 | Claudio Sacerdoti... | t renamed to t' since t was already defined in the... | blob | commitdiff | raw | diff to current |
| 2005-10-17 | Enrico Tassi | added coercions to Prod | blob | commitdiff | raw | diff to current |
| 2005-09-06 | Claudio Sacerdoti... | New bug exposed. | blob | commitdiff | raw | diff to current |
| 2005-07-29 | Claudio Sacerdoti... | 0. core_notation.ma splitted into coq.moo and core_nota... | blob | commitdiff | raw | diff to current |
| 2005-07-26 | Claudio Sacerdoti... | "Coq's " prefix added to every interpretation. | blob | commitdiff | raw | diff to current |
| 2005-07-19 | Claudio Sacerdoti... | New naming scheme by Andrea. | blob | commitdiff | raw | diff to current |
| 2005-07-08 | Claudio Sacerdoti... | Elim generalized to saturate its argument. | blob | commitdiff | raw | diff to current |
| 2005-07-07 | Enrico Tassi | added test for elim | blob | commitdiff | raw | diff to current |