aboutsummaryrefslogtreecommitdiffhomepage
path: root/COMPATIBILITY
Commit message (Expand)AuthorAge
* - Patch sur "intros until 0"Gravatar herbelin2008-06-08
* Quelques infos pour la portabilité 8.1 --> 8.2Gravatar notin2008-06-05
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* MAJGravatar herbelin2006-10-20
* MAJGravatar herbelin2006-07-05
* Typo in case of reference to dev/doc/changes.txtGravatar lmamane2006-06-15
* A list of incompatibilitiesGravatar herbelin2006-06-14