Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Clarification des contraintes sur le contexte de paramètres des | 2006-10-17 | |
* | Correction de deux cas où les types inductifs n'étaient pas comparés | 2006-10-05 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout | 2003-01-31 | |
* | Encore quelques tests sur modules... | 2002-08-16 |