Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Renommage id dans le test Nametab (suite ajout d'une constante de ce | 2008-06-05 | |
* | Abandon tests syntaxe v7 (correction) | 2005-12-22 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Fichier non traductible (référence à des objets invisibles ce qui empêche... | 2004-12-09 | |
* | Encore quelques rangements dans Nametab + petits trucs | 2002-09-27 |