Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Commentaires | herbelin | 2000-09-15 |
* | Passage à des contextes de vars et de rels pouvant contenir des déclarations | herbelin | 2000-07-24 |
* | Précalcul de la forme canonique des constructeurs et arités pour traiter le... | herbelin | 2000-07-01 |
* | bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo... | filliatr | 2000-06-21 |
* | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | herbelin | 2000-06-01 |
* | Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeurs | herbelin | 2000-05-31 |
* | Changement nom module Constant en Declarations | herbelin | 2000-05-22 |