Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ | herbelin | 2001-01-17 |
* | MAJ | herbelin | 2000-12-26 |
* | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | delahaye | 2000-12-25 |
* | MAJ | herbelin | 2000-12-25 |
* | Traduction en francais de 'CHANGES' dont le contenu était en français | herbelin | 2000-12-22 |