From 5830f5867f36ebf66bc1f4126762f4b1c1444f94 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 15 Feb 2015 13:13:17 +0100
Subject: Document the behavior change of Instance wrt {|...|}. (Fix for bug
 #3749)

---
 CHANGES | 3 +++
 1 file changed, 3 insertions(+)

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
 
-- 
cgit v1.2.3