CHANGES: add entry for 9b38f84

ProofGeneral · Mar 6, 2024 · a6f8243 · a6f8243
1 parent caa100e
commit a6f8243
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -25,6 +25,11 @@ the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
     generic changes above.
 
 
+**** New options coq-compile-extra-coqc-arguments and
+     coq-compile-extra-coqdep-arguments to configure additional
+     command line arguments to calls of, respetively, coqc and coqdep
+     during auto compilation.
+
 **** Fix issues #687 and #688 where the omit-proofs feature causes
      errors on correct code.