| Age | Commit message (Expand) | Author |
|---|
| 2001-10-17 | MAJ V7.1 | herbelin |
| 2001-10-16 | MAJ V7.1 | herbelin |
| 2001-10-16 | MAJ V7.1 | herbelin |
| 2001-10-15 | Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eq | herbelin |
| 2001-10-09 | Adding documentation for a variant of Inversion, where a numeric argument, | bertot |
| 2001-10-02 | Bug FTPDOCS | herbelin |
| 2001-10-02 | MAJ V7.1 | herbelin |
| 2001-10-02 | Orthographe | herbelin |
| 2001-10-02 | MAJ diverses | herbelin |
| 2001-10-02 | MAJ Intro + divers | herbelin |
| 2001-09-27 | MAJ V7.1 | herbelin |
| 2001-09-27 | Suppression Changes | herbelin |
| 2001-09-27 | MAJ V7.1 | herbelin |
| 2001-09-27 | check | herbelin |
| 2001-09-27 | \} manquant | herbelin |
| 2001-09-26 | Bug | herbelin |
| 2001-09-26 | Divers | herbelin |
| 2001-09-26 | MAJ V7.1 | herbelin |
| 2001-09-25 | MAJ V7.1 | herbelin |
| 2001-09-25 | MAJ Opaque/Transparent, Qed/Defined | herbelin |
| 2001-09-25 | Pr�c�dent Changes.tex | herbelin |
| 2001-09-25 | Orthographe | herbelin |
| 2001-09-24 | Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex | herbelin |
| 2001-09-24 | MAJs Remark/Fact | herbelin |
| 2001-09-24 | Updates | herbelin |
| 2001-09-24 | Updates | herbelin |
| 2001-09-23 | Update de la doc pour les setoides. | clrenard |
| 2001-09-21 | Diverses MAJ V7.1 autour des qualid | herbelin |
| 2001-09-19 | Changement de syntaxe Extract Constant / Extract Inlined Constant | letouzey |
| 2001-09-18 | Ajout de la page de garde | desmettr |
| 2001-09-17 | Documentation de Show Intro(s) | letouzey |
| 2001-09-14 | Documentation NewInduction, NewDestruct, LetTac, Assert | herbelin |
| 2001-09-14 | MAJ Fact/Remark | herbelin |
| 2001-09-14 | Orthographe | herbelin |
| 2001-06-12 | Ajout de la doc pour la tactique Setoid_replace. | clrenard |
| 2001-04-26 | Amelioration de la creation de la doc Library | coq |
| 2001-04-25 | *** empty log message *** | barras |
| 2001-04-25 | correction des erreurs dans les exemples | barras |
| 2001-04-25 | remarques concernant l'extraction | filliatr |
| 2001-04-25 | section sur l'extraction (provisoirement) comment�e | filliatr |
| 2001-04-25 | Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre les | courant |
| 2001-04-25 | Pending ref's corrected | coq |
| 2001-04-25 | Mise-a-jour de la biblio | delahaye |
| 2001-04-25 | Mise a jour | mohring |
| 2001-04-25 | Ajout de IntMap | mohring |
| 2001-04-25 | MAJ V7 | herbelin |
| 2001-04-25 | Mise a jour V7 | mohring |
| 2001-04-24 | Fourier, Reals,... | mayero |
| 2001-04-24 | Ajout de la partie extraction, passage du speller | mohring |
| 2001-04-24 | Fourier,... | mayero |
