diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-08 23:40:51 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-08 23:40:51 +0100 |
commit | cab89d031162b5d964bbc299fe0f451cf0daef71 (patch) | |
tree | 5b1829eba763fd2da8c4fb1857690032dd3131b6 /CHANGES | |
parent | 687e008bc80ca6f66ca8920296c2e8dab889c752 (diff) |
documentation and CHANGES for coq-compile-keep-going
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |