Document the behavior change of Instance wrt {|...|}. (Fix for bug #3749)

1 files changed, 3 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 7f134679fc..dc7cfa90a7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -74,6 +74,9 @@ Vernacular commands
   the execution of the following tactics.
 - "Optimize Heap" command to tell the OCaml runtime to perform a major
   garbage collection step and heap compaction.
+- "Instance" no longer treats the {|...|} syntax specially; it handles it
+  in the same way as other commands, e.g. "Definition". Use the {...}
+  syntax (no pipe symbols) to recover the old behavior.
 
 Specification Language