aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES7
1 files changed, 5 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index 796fbd043..ca5172d7b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,13 +13,16 @@ Tactics
profiling, and "Set NativeCompute Profile Filename" customizes
the profile filename.
+Changes from 8.7+beta1 to 8.7.0
+===============================
+
Tools
- In CoqIDE, the "Compile Buffer" command takes account of flags in
_CoqProject or other project file.
-Changes from 8.6.1 to 8.7+beta
-==============================
+Changes from 8.6.1 to 8.7+beta1
+===============================
Tactics