From a8646d4bc877f3c3e0d6a318d4127a6d600633ec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 18:31:53 +0000
Subject: Note about queue improvements.

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

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