aboutsummaryrefslogtreecommitdiffhomepage
path: root/COMPATIBILITY
Commit message (Expand)AuthorAge
* A fix for #5390 (a useful error on used introduction names was masked).Gravatar Hugo Herbelin2017-05-17
* Being more informative about the change of behavior of "subst".Gravatar Hugo Herbelin2016-09-29
* Update CHANGES and COMPATIBILITYGravatar Matthieu Sozeau2016-06-27
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-20
|\
| * More hints on how to fix compatibility issues.Gravatar Hugo Herbelin2016-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-23
|\|
| * Qed export -> Qed exportingGravatar Enrico Tassi2015-03-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-15
|\|
| * typoGravatar Enrico Tassi2015-02-14
| * Abstract: "Qed export ident, .., ident" to preserve v8.4 behaviorGravatar Enrico Tassi2015-02-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-13
|\|
| * COMPATIBILITY: add note about the change of behavior of Instance foo :=Gravatar Matthieu Sozeau2015-02-12
* | Added stuff about -I -Q -R in COMPATIBILTY.Gravatar Pierre Courtieu2015-01-15
* | Mention CHANGES file in COMPATIBILITY.Gravatar Maxime Dénès2015-01-15
| * 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