| Age | Commit message (Expand) | Author |
|---|
| 2003-12-08 | pas de Goal pendant une preuve | filliatr |
| 2003-12-08 | maj | filliatr |
| 2003-12-06 | maj | filliatr |
| 2003-12-05 | power associe a droite | marche |
| 2003-12-05 | Pour eviter d'avoir un gros type dans Set | herbelin |
| 2003-12-05 | maj | filliatr |
| 2003-12-04 | Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p... | herbelin |
| 2003-12-04 | Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p... | herbelin |
| 2003-12-04 | MAJ 'abstract' | herbelin |
| 2003-12-04 | Symetrisation parsing/printing 'abstract' | herbelin |
| 2003-12-04 | changement menu et toolbar | marche |
| 2003-12-03 | L'installation ne copiait pas les .vo du traducteur | herbelin |
| 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 |
