From b35facae2146b09570c0636ed92e82af641db6b6 Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Thu, 15 Nov 2012 07:35:05 +0000
Subject: write CHANGES

---
 CHANGES | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index a5b5f060..8dd018e8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,7 +6,14 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 * Changes of Proof General 4.3 from Proof General 4.2
 
-*** Nothing Yet!
+** Coq changes
+
+*** Asynchronous parallel compilation of required modules
+    Proof General has now a second implementation for compiling
+    required Coq modules. 
+    Check menu Coq -> Settings -> Compile Parallel In Background
+    to compile modules in parallel in the background while Proof
+    General stays responsive.
 
 
 * Changes of Proof General 4.2 from Proof General 4.1
-- 
cgit v1.2.3