From cab89d031162b5d964bbc299fe0f451cf0daef71 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 8 Dec 2016 23:40:51 +0100
Subject: documentation and CHANGES for coq-compile-keep-going

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index dca879b3..4ac96315 100644
--- a/CHANGES
+++ b/CHANGES
@@ -26,6 +26,12 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
     option `coq-compile-quick' or the subsection "11.3.3 Quick
     compilation and .vio Files" in the Coq reference manual.
 
+*** new option coq-compile-keep-going (in menu Coq -> Auto Compilation)
+
+    Similar to ``make -k'', with this option enabled, background
+    compilation does not stop at the first error but rather
+    continues as far as possible.
+
 *** bug fixes
     - avoid leaving partial files behind when compilation fails
     - 123: Parallel background compliation fails to execute some
-- 
cgit v1.2.3