aboutsummaryrefslogtreecommitdiffhomepage
path: root/COMPATIBILITY
Commit message (Expand)AuthorAge
* Qed export -> Qed exportingGravatar Enrico Tassi2015-03-22
* typoGravatar Enrico Tassi2015-02-14
* Abstract: "Qed export ident, .., ident" to preserve v8.4 behaviorGravatar Enrico Tassi2015-02-14
* COMPATIBILITY: add note about the change of behavior of Instance foo :=Gravatar Matthieu Sozeau2015-02-12
* Mention CHANGES file in COMPATIBILITY.Gravatar Maxime Dénès2015-01-15
* Revert d0cd27e209be08ee51a2d609157367f053438a10: giving a different nameGravatar Matthieu Sozeau2014-10-11
* Give the same argument name for the record binder of type classGravatar Matthieu Sozeau2014-10-10
* Updating CHANGES w.r.t. opacity in type inference + layout of file.Gravatar Hugo Herbelin2014-06-28
* Add some compatibility notes on the changes to [change] and unification in ge...Gravatar Matthieu Sozeau2014-06-23
* Some extra INCOMPATIBILITIES since 8.4.Gravatar herbelin2012-08-11
* Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY.Gravatar herbelin2012-08-08
* Credits for 8.4 + resetting COMPATIBILITY file.Gravatar herbelin2011-12-22
* Removed information in COMPATIBILITY that were intended before all forGravatar herbelin2010-07-30
* Miscellaneous small updates:Gravatar herbelin2010-07-01
* Improving compatibility between 8.2 and 8.3Gravatar herbelin2010-04-05
* MAJ diversesGravatar herbelin2008-06-11
* - 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