aboutsummaryrefslogtreecommitdiff
path: root/COMPATIBILITY
AgeCommit message (Expand)Author
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-02-05 22:53:21 +0000