Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing a little bug in printing cofix with no arguments. | 2017-01-05 | |
* | Bypassing the use of (currently unimplemented) "Show Script" in tests | 2011-12-17 | |
* | Évolutions diverses et variées. | 2008-08-04 | |
* | Oops... the trunk behaviour is different | 2008-07-29 | |
* | Update test-suite output | 2008-07-29 | |
* | Petites corrections vis à vis des commits 10860, 10859, 10850 | 2008-04-28 | |
* | Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve | 2008-04-25 | |
* | Affichage de 'O' (lettre) comme '0' (chiffre) | 2006-01-02 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Test d'affichage d'un Fix donné avec /n | 2004-12-09 |