Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ V7.1 | herbelin | 2001-09-25 |
* | Orthographe | herbelin | 2001-09-14 |
* | Mise a jour | mohring | 2001-04-25 |
* | Ajout de IntMap | mohring | 2001-04-25 |
* | Mise a jour V7 | mohring | 2001-04-25 |
* | Fourier, Reals,... | mayero | 2001-04-24 |
* | Ajout de la partie extraction, passage du speller | mohring | 2001-04-24 |
* | Fourier,... | mayero | 2001-04-24 |
* | Ajout de Field | delahaye | 2001-04-23 |
* | Am�liorations | herbelin | 2000-12-27 |
* | MAJ | herbelin | 2000-12-26 |
* | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | delahaye | 2000-12-25 |
* | MAJ apr�s lecture par Christine; r��criture de la section 'Names' | herbelin | 2000-12-22 |
* | Corrections | herbelin | 2000-12-22 |
* | Version lisible | herbelin | 2000-12-21 |
* | MAJ Search | herbelin | 2000-12-18 |
* | Initial revision | filliatr | 2000-12-12 |