]>
2005-09-08 | Stefano Zacchiroli | tests changing under a binder | blob | commitdiff | raw |
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-06 | Enrico Tassi | added test for change | blob | commitdiff | raw | diff to current |