Fixed coalescing of error messages: all error messages from

the last command are now show. Added extra docs to clarify behaviour.

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 4a5ee759..d5e9787d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -85,6 +85,10 @@ Isabelle and Isar Changes
   are now closed off automatically when a new goal is begun,
   mirroring the behaviour of Isabelle.
 
+* Confusing display of only last error is fixed: multiple
+  error messages are now coalesced properly.
+
+
 
 Only in the developers' release
 -------------------------------