aboutsummaryrefslogtreecommitdiff
path: root/COMPATIBILITY
AgeCommit message (Expand)Author
2017-05-17A fix for #5390 (a useful error on used introduction names was masked).Hugo Herbelin
2016-09-29Being more informative about the change of behavior of "subst".Hugo Herbelin
2016-06-27Update CHANGES and COMPATIBILITYMatthieu Sozeau
2016-05-20Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-14More hints on how to fix compatibility issues.Hugo Herbelin
2015-03-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-22Qed export -> Qed exportingEnrico Tassi
2015-02-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-14typoEnrico Tassi
2015-02-14Abstract: "Qed export ident, .., ident" to preserve v8.4 behaviorEnrico Tassi
2015-02-13Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-12COMPATIBILITY: add note about the change of behavior of Instance foo :=Matthieu Sozeau
2015-01-15Added stuff about -I -Q -R in COMPATIBILTY.Pierre Courtieu
2015-01-15Mention CHANGES file in COMPATIBILITY.Maxime Dénès
2015-01-15Mention CHANGES file in COMPATIBILITY.Maxime Dénès
2014-10-11Revert d0cd27e209be08ee51a2d609157367f053438a10: giving a different nameMatthieu Sozeau
2014-10-10Give the same argument name for the record binder of type classMatthieu Sozeau
2014-06-28Updating CHANGES w.r.t. opacity in type inference + layout of file.Hugo Herbelin
2014-06-23Add some compatibility notes on the changes to [change] and unification in ge...Matthieu Sozeau
2012-08-11Some extra INCOMPATIBILITIES since 8.4.herbelin
2012-08-08Cleaning CHANGES consistently with v8.4. Documenting COMPATIBILITY.herbelin
2011-12-22Credits for 8.4 + resetting COMPATIBILITY file.herbelin
2010-07-30Removed information in COMPATIBILITY that were intended before all forherbelin
2010-07-01Miscellaneous small updates:herbelin
2010-04-05Improving compatibility between 8.2 and 8.3herbelin
2008-06-11MAJ diversesherbelin
2008-06-08- Patch sur "intros until 0"herbelin
2008-06-05Quelques infos pour la portabilité 8.1 --> 8.2notin
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-05-30- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"herbelin
2006-10-20MAJherbelin
2006-07-05MAJherbelin
2006-06-15Typo in case of reference to dev/doc/changes.txtlmamane
2006-06-14A list of incompatibilitiesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:34:25 +0000