diff options
Diffstat (limited to 'CHANGES.md')
| -rw-r--r-- | CHANGES.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES.md b/CHANGES.md index 6789bc038e..93c86f9a61 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -150,6 +150,8 @@ Misc - Option "Typeclasses Axioms Are Instances" is deprecated. Use Declare Instance for axioms which should be instances. +- Removed option "Printing Primitive Projection Compatibility" + SSReflect - New intro patterns: |