Commit message (Expand) | Author | Age | |
---|---|---|---|
* | pattern-matching non-exhaustif (occur_rawconstr) | filliatr | 2000-05-02 |
* | Retrait fullmind de inductive_summary pour simplicité | herbelin | 2000-04-27 |
* | Introduction d'un type constr_pattern pour les différents filtrages | herbelin | 2000-04-26 |
* | Extension du case_info : ajout du nombre de vrais args de chaque constr pour ... | herbelin | 2000-03-21 |
* | Qqes bugs (evars dans le predicat; tag des cas défauts) | herbelin | 2000-03-16 |
* | Reparation bug isevars dans pretyping | herbelin | 2000-03-10 |
* | Un nouveau moteur pour Cases (phase 1) | herbelin | 2000-03-08 |
* | Abstraction de l'implémentation des signatures de Sign en vue intégration d... | herbelin | 2000-01-26 |
* | Correction pbs liés aux evar | herbelin | 2000-01-07 |
* | Bug lift | herbelin | 1999-12-15 |
* | Nouveaux types 'constructor' et 'inductive' dans Term; | herbelin | 1999-12-15 |
* | Poursuite intégration du Cases | herbelin | 1999-12-13 |
* | Intégration initiale du Cases | herbelin | 1999-12-11 |
* | modifs pour premiere edition de liens | filliatr | 1999-12-02 |