| Age | Commit message (Expand) | Author |
|---|
| 2003-12-03 | Rle_monotony_contra devenu Rmult_le_reg_l avant traduction | herbelin |
| 2003-12-03 | Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem... | herbelin |
| 2003-12-03 | maj | filliatr |
| 2003-12-03 | maj | filliatr |
| 2003-12-02 | maj | filliatr |
| 2003-12-02 | maj | filliatr |
| 2003-12-02 | error messages adjustement | corbinea |
| 2003-12-02 | maj | filliatr |
| 2003-12-01 | *** empty log message *** | clrenard |
| 2003-12-01 | numeros version | marche |
| 2003-12-01 | contrib jcf | marche |
| 2003-12-01 | Nouvelle tactique EExists | clrenard |
| 2003-12-01 | Amélioration du message d'erreur "w_unify" | clrenard |
| 2003-12-01 | Meilleure robustesse des reordonnement d'arguments (3eme) | herbelin |
| 2003-12-01 | Meilleure robustesse des reordonnement d'arguments (2eme) | herbelin |
| 2003-12-01 | Meilleure robustesse des reordonnement d'arguments | herbelin |
| 2003-12-01 | Ratage standardisation Rge_monotony en Rmult_ge_compat_r | herbelin |
| 2003-12-01 | Meilleure robustesse des reordonnement d'arguments | herbelin |
| 2003-12-01 | Bug traduction clearbody | herbelin |
| 2003-12-01 | Idtac parle | narboux |
| 2003-12-01 | maj | filliatr |
| 2003-12-01 | maj | filliatr |
| 2003-11-30 | MAJ | herbelin |
| 2003-11-30 | MAJ | herbelin |
| 2003-11-29 | installation | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Obsolete, cf Funind.v dans test-suite | herbelin |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | herbelin |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-11-29 | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 | herbelin |
| 2003-11-29 | Notation locale pour Rpower | herbelin |
| 2003-11-29 | Ajout lemmes, simplification preuve de SeqProp | herbelin |
| 2003-11-29 | MAJ | herbelin |
| 2003-11-29 | ground->firstorder, cc-> congruence, CC final commit | corbinea |
| 2003-11-29 | Renommages de variables dans RIneq | herbelin |
| 2003-11-29 | Utilisation nom dans message d'erreur implicite pas trouve | herbelin |
| 2003-11-29 | Utilisation du total_order non constructif | herbelin |
| 2003-11-29 | Report de lemmes de Znumtheory dans Zabs ou BinInt | herbelin |
| 2003-11-29 | Renommages discrets dans RIneq et Znumtheory | herbelin |
| 2003-11-28 | Protection contre les renommages; redondances | herbelin |
| 2003-11-28 | commands renomme en queries, command goto a la place de forward to backwardt o | marche |
| 2003-11-28 | Simplest Demo on modules | coq |
