diff options
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 7ddc33d47f..1595445293 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -22,7 +22,8 @@ Tactics - Add Relation and Add Morphism on polymorphic relations should now be declared with Add Parametric Relation and Add Parametric Morphism. -- Some bug fixes may lead to incompatibilities. +- Some bug fixes may lead to incompatibilities (see CHANGES for a detailed + account). Libraries |