Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | 2008-05-30 | |
* | MAJ | 2006-10-20 | |
* | MAJ | 2006-07-05 | |
* | Typo in case of reference to dev/doc/changes.txt | 2006-06-15 | |
* | A list of incompatibilities | 2006-06-14 |