From 498cbad3e5e5d69d2ee771f90de45c0fe28cc494 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 16 Sep 2015 18:19:50 +0200
Subject: Explain new flags for native_compute in CHANGES.

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

diff --git a/CHANGES b/CHANGES
index 70ddb81f4d..c8fca217fd 100644
--- a/CHANGES
+++ b/CHANGES
@@ -46,6 +46,11 @@ API
 Tools
 
 - Added an option -w to control the output of coqtop warnings.
+- Configure now takes an optional -native-compiler (yes|no) flag replacing
+  -no-native-compiler. The new flag is set to no by default under Windows.
+- Flag -no-native-compiler was removed and became the default for coqc. If
+  precompilation of files for native conversion test is desired, use
+  -native-compiler.
 
 Changes from V8.5beta1 to V8.5beta2
 ===================================
-- 
cgit v1.2.3