| Commit message (Expand) | Author | Age |
|---|
| * | passage V8 |  filliatr | 2003-09-25 |
| * | Added the documentation on Functional Scheme (a command, I also put |  courtieu | 2003-06-21 |
| * | Ajout 'in (Type of ...)' |  herbelin | 2003-05-20 |
| * | MAJ Simpl et Change | herbelin | 2003-03-21 |
| * | Correction typo d'un but Tauto | herbelin | 2002-09-16 |
| * | documentation variante Subst (sans argument) | filliatr | 2002-09-16 |
| * | Subst | filliatr | 2002-09-12 |
| * | MAJ syntaxe 'Hint Rewrite' | herbelin | 2002-09-09 |
| * | MAJ V7.3 | herbelin | 2002-05-16 |
| * | doc Intuition et Tauto |  courant | 2002-04-12 |
| * | Ajout Rename et Pose | herbelin | 2002-04-11 |
| * | Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazy | herbelin | 2002-03-01 |
| * | Ajout ClearBody et Assert H:=t | herbelin | 2001-12-23 |
| * | Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eq | herbelin | 2001-10-15 |
| * | Adding documentation for a variant of Inversion, where a numeric argument, |  bertot | 2001-10-09 |
| * | MAJ Intro + divers | herbelin | 2001-10-02 |
| * | Diverses MAJ V7.1 autour des qualid | herbelin | 2001-09-21 |
| * | Documentation NewInduction, NewDestruct, LetTac, Assert | herbelin | 2001-09-14 |
| * | Fourier, Reals,... |  mayero | 2001-04-24 |
| * | Ajout d'une ref pour Field |  delahaye | 2001-04-23 |
| * | Ajout de Field | delahaye | 2001-04-23 |
| * | Changement de Zarith en ZArith |  mohring | 2001-04-19 |
| * | Intros Pattern wildcard | mohring | 2001-04-12 |
| * | MAJ decompose | herbelin | 2001-04-10 |
| * | Revision Tauto, AutoRewrite + Ajout de Ltac | delahaye | 2001-04-08 |
| * | mise a jour V7 | filliatr | 2001-04-06 |
| * | mise a jour V7 | filliatr | 2001-04-06 |
| * | Initial revision | filliatr | 2000-12-12 |
filliatr
courtieu
herbelin
courant
bertot
mayero
delahaye
mohring