| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2003-11-28 | MAJ | herbelin |
| 2003-11-28 | maj | filliatr |
| 2003-11-27 | Suite commit precedent | herbelin |
| 2003-11-27 | Retour des _eq en v8 | herbelin |
| 2003-11-27 | Qualification des noms utilisateurs en cas de collision avec un nom nouveau | herbelin |
| 2003-11-27 | Monstrueuse inefficacite due a l'innocence du redacteur de la ligne vis a vis... | herbelin |
| 2003-11-27 | Hint Destruct mal affiche | barras |
| 2003-11-27 | *** empty log message *** | barras |
| 2003-11-27 | Reparation bug compil | mohring |
| 2003-11-27 | maj | filliatr |
| 2003-11-27 | maj | filliatr |
| 2003-11-27 | Ajout ne_string | herbelin |
| 2003-11-26 | Traduction de @; simplification traduction des ident | herbelin |
| 2003-11-26 | Renommage de tactiques ltac coincidant avec certaines tactiques primitives | herbelin |
| 2003-11-26 | Protection contre les notations vides | herbelin |
| 2003-11-26 | Remplacement de l'indicateur de date "@" par 'at' | herbelin |
| 2003-11-26 | Export string_index_from | herbelin |
| 2003-11-26 | Traduction de tactic:constrarg en constr:constr pour les arguments de Tactic ... | herbelin |
| 2003-11-26 | just forgot something in previous commit | corbinea |
