Note about queue improvements.

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 66530396..b7fb9fb9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,10 @@ Summary of Changes for Proof General 3.0 from 2.1
 Generic Changes
 ---------------
 
+* Proof General is now more cany about the queue of commands.
+  You can now add more proof commands on the end of the queue,
+  without the "Proof Process Busy" message.
+
 * New function C-c C-f (proof-find) to invoke some prover-specific
   mechanism to search for theories.