Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix bug when a sort is ascribed to a Record | 2016-03-15 | |
* | Kills the useless tactic annotations "in |- *" | 2012-07-05 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | Correction bug #1507 (report révision 9807 de v8.1 vers trunk) | 2007-04-29 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Ajout test bug #935 | 2005-03-19 | |
* | Ajout bug #255 | 2004-09-24 | |
* | Il ne doit plus y avoir de preuves non terminées à la sortie du fichier | 2003-01-19 | |
* | Un bug dans le script | 2001-11-21 | |
* | Sur la cumulativité dans les tactiques | 2001-11-21 |