Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080 | 2015-08-14 | |
* | Updating some output tests in test-suite: | 2013-05-09 | |
* | Typo in test InitSyntax.out | 2011-04-29 | |
* | Fixed notation printing bug when curly brackets are involved (requests | 2011-04-28 | |
* | Factorisation des paramètres dans l'affichage des inductifs | 2007-07-02 | |
* | MAJ | 2006-12-12 | |
* | Adaptation au passage de sig2 dans Type | 2006-05-28 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | MAJ avec les particularités de l'afficheur v7 de la V8 | 2004-12-09 | |
* | *** empty log message *** | 2003-03-14 | |
* | MAJ | 2003-03-04 | |
* | *** empty log message *** | 2003-01-16 | |
* | Correction | 2002-08-21 | |
* | Test syntaxe des constructions de l'état initial | 2001-10-17 |